$ | Navi.Prelude |
$> | Navi.Prelude |
$sel:alerts:MkBatteryPercentageToml | Navi.Services.Battery.Percentage.Toml |
$sel:app:MkBatteryPercentageToml | Navi.Services.Battery.Percentage.Toml |
$sel:app:MkBatteryStatusToml | Navi.Services.Battery.Status.Toml |
$sel:app:MkNetInterfacesToml | Navi.Services.Network.NetInterfaces.Toml |
$sel:batteryPercentageToml:MkConfigToml | Navi.Config.Toml |
$sel:batteryStatusToml:MkConfigToml | Navi.Config.Toml |
$sel:body:MkNaviNote | Navi.Data.NaviNote |
$sel:command:MkMultipleToml | Navi.Services.Custom.Multiple.Toml |
$sel:command:MkSingleToml | Navi.Services.Custom.Single.Toml |
$sel:configFile:MkArgs | Navi.Args |
$sel:coreEnv:MkDBusEnv | Navi.Env.DBus |
$sel:coreEnv:MkNotifySendEnv | Navi.Env.NotifySend |
$sel:dbusClient:MkDBusEnv | Navi.Env.DBus |
$sel:deviceName:MkNetInterfacesToml | Navi.Services.Network.NetInterfaces.Toml |
$sel:errEventCfg:MkMultipleToml | Navi.Services.Custom.Multiple.Toml |
$sel:errEventCfg:MkSingleToml | Navi.Services.Custom.Single.Toml |
$sel:errorNote:MkBatteryPercentageToml | Navi.Services.Battery.Percentage.Toml |
$sel:errorNote:MkBatteryStatusToml | Navi.Services.Battery.Status.Toml |
$sel:errorNote:MkEvent | Navi.Event.Types, Navi.Event |
$sel:errorNote:MkNetInterfacesToml | Navi.Services.Network.NetInterfaces.Toml |
$sel:events:MkConfig | Navi.Config.Types, Navi.Config |
$sel:events:MkEnv | Navi.Env.Core |
$sel:finalizer:MkLogFile | Navi.Data.NaviLog |
$sel:handle:MkLogFile | Navi.Data.NaviLog |
$sel:location:MkLogging | Navi.Config.Types, Navi.Config |
$sel:logEnv:MkEnv | Navi.Env.Core |
$sel:logFile:MkLogEnv | Navi.Data.NaviLog |
$sel:logging:MkConfig | Navi.Config.Types, Navi.Config |
$sel:logLevel:MkLogEnv | Navi.Data.NaviLog |
$sel:logNamespace:MkLogEnv | Navi.Data.NaviLog |
$sel:logQueue:MkEnv | Navi.Env.Core |
$sel:logToml:MkConfigToml | Navi.Config.Toml |
$sel:long:MkEventError | Navi.Event.Types, Navi.Event |
$sel:mTimeout:MkBatteryPercentageNoteToml | Navi.Services.Battery.Percentage.Toml |
$sel:mTimeout:MkBatteryStatusToml | Navi.Services.Battery.Status.Toml |
$sel:mTimeout:MkNetInterfacesToml | Navi.Services.Network.NetInterfaces.Toml |
$sel:multipleToml:MkConfigToml | Navi.Config.Toml |
$sel:name:MkEvent | Navi.Event.Types, Navi.Event |
$sel:name:MkEventError | Navi.Event.Types, Navi.Event |
$sel:name:MkMultipleToml | Navi.Services.Custom.Multiple.Toml |
$sel:name:MkSingleToml | Navi.Services.Custom.Single.Toml |
$sel:netInterfacesToml:MkConfigToml | Navi.Config.Toml |
$sel:note:MkSingleToml | Navi.Services.Custom.Single.Toml |
$sel:note:MkTriggerNoteToml | Navi.Services.Custom.Multiple.Toml |
$sel:noteQueue:MkEnv | Navi.Env.Core |
$sel:noteSystem:MkConfig | Navi.Config.Types, Navi.Config |
$sel:noteSystemToml:MkConfigToml | Navi.Config.Toml |
$sel:percentage:MkBatteryPercentageNoteToml | Navi.Services.Battery.Percentage.Toml |
$sel:pollInterval:MkBatteryPercentageToml | Navi.Services.Battery.Percentage.Toml |
$sel:pollInterval:MkBatteryStatusToml | Navi.Services.Battery.Status.Toml |
$sel:pollInterval:MkEvent | Navi.Event.Types, Navi.Event |
$sel:pollInterval:MkMultipleToml | Navi.Services.Custom.Multiple.Toml |
$sel:pollInterval:MkNetInterfacesToml | Navi.Services.Network.NetInterfaces.Toml |
$sel:pollInterval:MkSingleToml | Navi.Services.Custom.Single.Toml |
$sel:raiseAlert:MkEvent | Navi.Event.Types, Navi.Event |
$sel:raiseAlert:MkEventSuccess | Navi.Event.Types, Navi.Event |
$sel:repeatEvent:MkBatteryPercentageToml | Navi.Services.Battery.Percentage.Toml |
$sel:repeatEvent:MkBatteryStatusToml | Navi.Services.Battery.Status.Toml |
$sel:repeatEvent:MkEvent | Navi.Event.Types, Navi.Event |
$sel:repeatEvent:MkEventSuccess | Navi.Event.Types, Navi.Event |
$sel:repeatEvent:MkNetInterfacesToml | Navi.Services.Network.NetInterfaces.Toml |
$sel:repeatEventCfg:MkMultipleToml | Navi.Services.Custom.Multiple.Toml |
$sel:repeatEventCfg:MkSingleToml | Navi.Services.Custom.Single.Toml |
$sel:result:MkEventSuccess | Navi.Event.Types, Navi.Event |
$sel:serviceType:MkEvent | Navi.Event.Types, Navi.Event |
$sel:severity:MkLogging | Navi.Config.Types, Navi.Config |
$sel:short:MkEventError | Navi.Event.Types, Navi.Event |
$sel:singleToml:MkConfigToml | Navi.Config.Toml |
$sel:summary:MkNaviNote | Navi.Data.NaviNote |
$sel:timeout:MkNaviNote | Navi.Data.NaviNote |
$sel:trigger:MkTriggerNoteToml | Navi.Services.Custom.Multiple.Toml |
$sel:triggerNotes:MkMultipleToml | Navi.Services.Custom.Multiple.Toml |
$sel:triggerVal:MkSingleToml | Navi.Services.Custom.Single.Toml |
$sel:unPollInterval:MkPollInterval | Navi.Data.PollInterval |
$sel:urgency:MkBatteryPercentageNoteToml | Navi.Services.Battery.Percentage.Toml |
$sel:urgency:MkNaviNote | Navi.Data.NaviNote |
% | Navi.Prelude |
%? | Navi.Prelude |
&& | Navi.Prelude |
* | Navi.Prelude |
*> | Navi.Prelude |
+ | Navi.Prelude |
- | Navi.Prelude |
. | Navi.Prelude |
.~ | Navi.Prelude |
/= | Navi.Prelude |
:<| | Navi.Prelude |
:| | Navi.Prelude |
:|> | Navi.Prelude |
< | Navi.Prelude |
<$ | Navi.Prelude |
<$> | Navi.Prelude |
<&> | Navi.Prelude |
<* | Navi.Prelude |
<**> | Navi.Prelude |
<*> | Navi.Prelude |
</> | Navi.Prelude |
<<$>> | Navi.Prelude |
<= | Navi.Prelude |
<=< | Navi.Prelude |
<> | Navi.Prelude |
<|> | Navi.Prelude |
=<< | Navi.Prelude |
== | Navi.Prelude |
> | Navi.Prelude |
>.> | Navi.Prelude |
>= | Navi.Prelude |
>=> | Navi.Prelude |
>> | Navi.Prelude |
>>= | Navi.Prelude |
abs | Navi.Prelude |
absurd | Navi.Prelude |
addCS | Navi.Prelude |
AffineTraversal' | Navi.Prelude |
all | Navi.Prelude |
AllowErrNote | Navi.Event.Types, Navi.Event |
AllowRepeats | Navi.Event.Types, Navi.Event |
AllowRepeatsToml | Navi.Event.Toml |
Alternative | Navi.Prelude |
AnyEvent | Navi.Event.Types, Navi.Event |
AppendMode | Navi.Prelude |
Applicative | Navi.Prelude |
Args | Navi.Args |
ask | Navi.Prelude |
asks | Navi.Prelude |
batteryAppDecoder | Navi.Services.Battery.Common |
BatteryPercentage | Navi.Services.Types |
BatteryPercentageNoteToml | Navi.Services.Battery.Percentage.Toml |
BatteryPercentageToml | Navi.Services.Battery.Percentage.Toml, Navi.Services.Battery.Percentage |
BatteryStatus | Navi.Services.Types |
BatteryStatusToml | Navi.Services.Battery.Status.Toml, Navi.Services.Battery.Status |
Bifunctor | Navi.Prelude |
bimap | Navi.Prelude |
blockErr | Navi.Event |
blockRepeat | Navi.Event |
Bool | Navi.Prelude |
Bounded | Navi.Prelude |
bracket | Navi.Prelude |
ByteString | Navi.Prelude |
catchAny | Navi.Prelude |
catchWithCS | Navi.Prelude |
Char | Navi.Prelude |
commandDecoder | Navi.Utils |
compare | Navi.Prelude |
concat | Navi.Prelude |
Config | Navi.Config.Types, Navi.Config |
ConfigErr | Navi.Config.Types, Navi.Config |
ConfigToml | Navi.Config.Toml |
const | Navi.Prelude |
Constraint | Navi.Prelude |
DBus | Navi.Config.Types, Navi.Config |
DBusEnv | Navi.Env.DBus |
decode | Navi.Prelude |
DecodeError | Navi.Prelude |
Decoder | Navi.Prelude |
DecodeTOML | Navi.Prelude |
defaultLogging | Navi.Config.Types |
defaultNoteSystem | Navi.Config.Types |
DefPath | Navi.Config.Types, Navi.Config |
displayException | Navi.Prelude |
div | Navi.Prelude |
divMod | Navi.Prelude |
Either | Navi.Prelude |
either | Navi.Prelude |
elem | Navi.Prelude |
empty | Navi.Prelude |
Env | Navi.Env.Core |
Eq | Navi.Prelude |
ErrNoteAllowRepeatsToml | Navi.Event.Toml |
ErrNoteNoRepeatsToml | Navi.Event.Toml |
error | Navi.Prelude |
ErrorNote | Navi.Event.Types, Navi.Event |
errorNoteOptDecoder | Navi.Event.Toml |
ErrorNoteToml | Navi.Event.Toml |
errorNoteTomlToVal | Navi.Event.Toml |
Event | Navi.Event.Types, Navi.Event |
EventError | Navi.Event.Types, Navi.Event |
EventSuccess | Navi.Event.Types, Navi.Event |
Exception | Navi.Prelude |
fail | Navi.Prelude |
False | Navi.Prelude |
File | Navi.Config.Types, Navi.Config |
FileErr | Navi.Config.Types, Navi.Config |
filter | Navi.Prelude |
finally | Navi.Prelude |
first | Navi.Prelude |
flip | Navi.Prelude |
fmap | Navi.Prelude |
fold | Navi.Prelude |
Foldable | Navi.Prelude |
foldl | Navi.Prelude |
foldl' | Navi.Prelude |
foldl1 | Navi.Prelude |
foldMap | Navi.Prelude |
foldMap' | Navi.Prelude |
foldr | Navi.Prelude |
foldr' | Navi.Prelude |
foldr1 | Navi.Prelude |
forever | Navi.Prelude |
for_ | Navi.Prelude |
fromException | Navi.Prelude |
fromInteger | Navi.Prelude |
fromIntegral | Navi.Prelude |
fromMaybe | Navi.Prelude |
fromString | Navi.Prelude |
fst | Navi.Prelude |
Functor | Navi.Prelude |
Generic | Navi.Prelude |
getArgs | Navi.Args |
getArrayOf | Navi.Prelude |
getClient | Navi.Env.DBus |
getEvents | Navi.Env.Core |
getField | Navi.Prelude |
getFieldOpt | Navi.Prelude |
getFieldOptArrayOf | Navi.Utils |
getFieldOptWith | Navi.Prelude |
getFieldWith | Navi.Prelude |
getLogEnv | Navi.Env.Core |
getLogQueue | Navi.Env.Core |
getNoteQueue | Navi.Env.Core |
Handle | Navi.Prelude |
HasCallStack | Navi.Prelude |
HasDBusClient | Navi.Env.DBus |
HasEvents | Navi.Env.Core |
HasLogEnv | Navi.Env.Core |
HasLogQueue | Navi.Env.Core |
HasNoteQueue | Navi.Env.Core |
hClose | Navi.Prelude |
headMaybe | Navi.Prelude |
hFlush | Navi.Prelude |
hPut | Navi.Prelude |
id | Navi.Prelude |
Int | Navi.Prelude |
Int32 | Navi.Prelude |
Integer | |
1 (Type/Class) | Navi.Prelude |
2 (Data Constructor) | Navi.Prelude |
Integral | Navi.Prelude |
invalidValue | Navi.Prelude |
IO | Navi.Prelude |
IOMode | Navi.Prelude |
IORef | Navi.Prelude |
Iso' | Navi.Prelude |
IsString | Navi.Prelude |
join | Navi.Prelude |
Just | Navi.Prelude |
Left | Navi.Prelude |
length | Navi.Prelude |
lens | Navi.Prelude |
Lens' | Navi.Prelude |
LevelDebug | Navi.Prelude |
LevelError | Navi.Prelude |
LevelInfo | Navi.Prelude |
LevelWarn | Navi.Prelude |
lift | Navi.Prelude |
liftA2 | Navi.Prelude |
liftIO | Navi.Prelude |
local | Navi.Prelude |
localLogEnv | Navi.Env.Core |
logDebug | Navi.Prelude |
LogEnv | Navi.Data.NaviLog |
logError | Navi.Prelude |
LogFile | Navi.Data.NaviLog |
Logging | Navi.Config.Types, Navi.Config |
logInfo | Navi.Prelude |
LogLevel | Navi.Prelude |
LogLoc | Navi.Config.Types, Navi.Config |
logOther | Navi.Prelude |
LogStr | Navi.Prelude |
logWarn | Navi.Prelude |
makeDecoder | Navi.Prelude |
makeFieldLabelsNoPrefix | Navi.Prelude |
makePrisms | Navi.Prelude |
many | Navi.Prelude |
mapM | Navi.Prelude |
mappend | Navi.Prelude |
mask | Navi.Prelude |
max | Navi.Prelude |
maxBound | Navi.Prelude |
maximum | Navi.Prelude |
Maybe | Navi.Prelude |
maybe | Navi.Prelude |
maybeToEither | Navi.Prelude |
maybeToList | Navi.Prelude |
mconcat | Navi.Prelude |
mempty | Navi.Prelude |
mErrorNoteTomlToVal | Navi.Event.Toml |
min | Navi.Prelude |
minBound | Navi.Prelude |
minimum | Navi.Prelude |
MkAnyEvent | Navi.Event.Types, Navi.Event |
MkArgs | Navi.Args |
MkBatteryPercentageNoteToml | Navi.Services.Battery.Percentage.Toml |
MkBatteryPercentageToml | Navi.Services.Battery.Percentage.Toml |
MkBatteryStatusToml | Navi.Services.Battery.Status.Toml |
MkConfig | Navi.Config.Types, Navi.Config |
MkConfigToml | Navi.Config.Toml |
MkDBusEnv | Navi.Env.DBus |
mkDBusEnv | Navi.Env.DBus |
MkEnv | Navi.Env.Core |
MkEvent | Navi.Event.Types, Navi.Event |
MkEventError | Navi.Event.Types, Navi.Event |
MkEventSuccess | Navi.Event.Types, Navi.Event |
MkLogEnv | Navi.Data.NaviLog |
MkLogFile | Navi.Data.NaviLog |
MkLogging | Navi.Config.Types, Navi.Config |
MkMultipleToml | Navi.Services.Custom.Multiple.Toml |
MkNaviNote | Navi.Data.NaviNote |
MkNaviT | Navi.NaviT, Navi |
MkNetInterfacesToml | Navi.Services.Network.NetInterfaces.Toml |
MkNotifySendEnv | Navi.Env.NotifySend |
mkNotifySendEnv | Navi.Env.NotifySend |
MkPollInterval | Navi.Data.PollInterval |
MkSingleToml | Navi.Services.Custom.Single.Toml |
MkTriggerNoteToml | Navi.Services.Custom.Multiple.Toml |
mod | Navi.Prelude |
modifyIORef' | Navi.Prelude |
Monad | Navi.Prelude |
MonadAsync | Navi.Prelude |
MonadCatch | Navi.Prelude |
MonadFail | Navi.Prelude |
MonadFileReader | Navi.Prelude |
MonadFileWriter | Navi.Prelude |
MonadHandleWriter | Navi.Prelude |
MonadIO | Navi.Prelude |
MonadIORef | Navi.Prelude |
MonadLogger | Navi.Prelude |
monadLoggerLog | Navi.Prelude |
MonadMask | Navi.Prelude |
MonadNotify | Navi.Effects.MonadNotify, Navi.Effects |
MonadPathReader | Navi.Prelude |
MonadReader | Navi.Prelude |
MonadSTM | Navi.Prelude |
MonadSystemInfo | Navi.Effects.MonadSystemInfo, Navi.Effects |
MonadTerminal | Navi.Prelude |
MonadThread | Navi.Prelude |
MonadThrow | Navi.Prelude |
MonadTrans | Navi.Prelude |
monoBimap | Navi.Prelude |
Monoid | Navi.Prelude |
mRepeatEventTomlToVal | Navi.Event.Toml |
Multiple | Navi.Services.Types |
MultipleToml | Navi.Services.Custom.Multiple.Toml, Navi.Services.Custom.Multiple |
NatJ# | Navi.Prelude |
NatS# | Navi.Prelude |
Natural | Navi.Prelude |
NaviNote | Navi.Data.NaviNote |
NaviT | Navi.NaviT, Navi |
naviToDBus | Navi.Env.DBus |
naviToNotifySend | Navi.Env.NotifySend |
negate | Navi.Prelude |
NetInterfacesToml | Navi.Services.Network.NetInterfaces.Toml |
NetworkInterface | Navi.Services.Types |
Never | Navi.Data.NaviNote |
newIORef | Navi.Prelude |
newTBQueueM | Navi.Prelude |
NFData | Navi.Prelude |
NoErrNote | Navi.Event.Types, Navi.Event |
NoErrNoteToml | Navi.Event.Toml |
NoEvents | Navi.Config.Types, Navi.Config |
NonEmpty | Navi.Prelude |
NoRepeats | Navi.Event.Types, Navi.Event |
NoRepeatsToml | Navi.Event.Toml |
NormalizeError | Navi.Prelude |
not | Navi.Prelude |
NoteSystem | Navi.Config.Types, Navi.Config |
Nothing | Navi.Prelude |
NotifySend | Navi.Config.Types, Navi.Config |
NotifySendEnv | Navi.Env.NotifySend |
null | Navi.Prelude |
Num | Navi.Prelude |
openBinaryFile | Navi.Prelude |
Ord | Navi.Prelude |
otherwise | Navi.Prelude |
over' | Navi.Prelude |
pack | Navi.Prelude |
ParseError | Navi.Prelude |
Path | Navi.Prelude |
PollInterval | Navi.Data.PollInterval |
pollIntervalOptDecoder | Navi.Data.PollInterval |
preview | Navi.Prelude |
product | Navi.Prelude |
Proxy | |
1 (Data Constructor) | Navi.Prelude |
2 (Type/Class) | Navi.Prelude |
pure | Navi.Prelude |
putStrLn | Navi.Prelude |
query | Navi.Effects.MonadSystemInfo, Navi.Effects |
quot | Navi.Prelude |
quotRem | Navi.Prelude |
readConfig | Navi.Config |
reader | Navi.Prelude |
ReaderT | |
1 (Type/Class) | Navi.Prelude |
2 (Data Constructor) | Navi.Prelude |
readFileUtf8ThrowM | Navi.Prelude |
readIORef | Navi.Prelude |
ReadMode | Navi.Prelude |
readTBQueueM | Navi.Prelude |
ReadWriteMode | Navi.Prelude |
rem | Navi.Prelude |
renderTOMLError | Navi.Prelude |
RepeatEvent | Navi.Event.Types, Navi.Event |
repeatEventOptDecoder | Navi.Event.Toml |
RepeatEventToml | Navi.Event.Toml |
repeatEventTomlToVal | Navi.Event.Toml |
replicate | Navi.Prelude |
return | Navi.Prelude |
review | Navi.Prelude |
Right | Navi.Prelude |
runEvent | Navi.Event |
runNavi | Navi |
runNaviT | Navi.NaviT, Navi |
runReaderT | Navi.Prelude |
sconcat | Navi.Prelude |
second | Navi.Prelude |
Seconds | Navi.Data.NaviNote |
Semigroup | Navi.Prelude |
sendNote | Navi.Effects.MonadNotify, Navi.Effects |
sendNoteQueue | Navi.Effects.MonadNotify, Navi.Effects |
Seq | Navi.Prelude |
seq | Navi.Prelude |
sequence | Navi.Prelude |
sequenceA | Navi.Prelude |
ServiceType | Navi.Services.Types |
set' | Navi.Prelude |
Show | Navi.Prelude |
show | Navi.Prelude |
showList | Navi.Prelude |
showsPrec | Navi.Prelude |
showt | Navi.Prelude |
signum | Navi.Prelude |
Single | Navi.Services.Types |
SingleToml | Navi.Services.Custom.Single.Toml, Navi.Services.Custom.Single |
snd | Navi.Prelude |
some | Navi.Prelude |
SomeException | Navi.Prelude |
Stdout | Navi.Config.Types, Navi.Config |
stimes | Navi.Prelude |
String | |
1 (Type/Class) | Navi.Prelude |
2 (Data Constructor) | Navi.Prelude |
sum | Navi.Prelude |
TBQueue | Navi.Prelude |
Text | Navi.Prelude |
throwM | Navi.Prelude |
throwWithCS | Navi.Prelude |
Timeout | Navi.Data.NaviNote |
timeoutOptDecoder | Navi.Data.NaviNote |
toEvent | |
1 (Function) | Navi.Services.Network.NetInterfaces |
2 (Function) | Navi.Services.Custom.Single |
3 (Function) | Navi.Services.Custom.Multiple |
4 (Function) | Navi.Services.Battery.Status |
5 (Function) | Navi.Services.Battery.Percentage |
toException | Navi.Prelude |
toInteger | Navi.Prelude |
toList | Navi.Prelude |
tomlDecoder | Navi.Prelude |
TOMLError | Navi.Prelude |
TomlError | Navi.Config.Types, Navi.Config |
toSleepTime | Navi.Data.PollInterval |
Traversable | Navi.Prelude |
Traversal' | Navi.Prelude |
traverse | Navi.Prelude |
traverse_ | Navi.Prelude |
TriggerNoteToml | Navi.Services.Custom.Multiple.Toml |
True | Navi.Prelude |
tryReadTBQueueM | Navi.Prelude |
Type | Navi.Prelude |
typeMismatch | Navi.Prelude |
uncurry | Navi.Prelude |
undefined | Navi.Prelude |
unpack | Navi.Prelude |
updatePrevTrigger | Navi.Event |
urgencyLevelOptDecoder | Navi.Utils |
Value | Navi.Prelude |
view | Navi.Prelude |
Void | Navi.Prelude |
void | Navi.Prelude |
when | Navi.Prelude |
Word16 | Navi.Prelude |
Word8 | Navi.Prelude |
writeFileUtf8 | Navi.Prelude |
writeIORef | Navi.Prelude |
WriteMode | Navi.Prelude |
writeTBQueueM | Navi.Prelude |
zipWith | Navi.Prelude |
^. | Navi.Prelude |
^? | Navi.Prelude |
_1 | Navi.Prelude |
_2 | Navi.Prelude |
_AllowErrNote | Navi.Event.Types |
_AllowRepeats | Navi.Event.Types |
_AllowRepeatsToml | Navi.Event.Toml |
_DBus | Navi.Config.Types |
_DefPath | Navi.Config.Types |
_ErrNoteAllowRepeatsToml | Navi.Event.Toml |
_ErrNoteNoRepeatsToml | Navi.Event.Toml |
_File | Navi.Config.Types |
_FileErr | Navi.Config.Types |
_Just | Navi.Prelude |
_Never | Navi.Data.NaviNote |
_NoErrNote | Navi.Event.Types |
_NoErrNoteToml | Navi.Event.Toml |
_NoEvents | Navi.Config.Types |
_NoRepeats | Navi.Event.Types |
_NoRepeatsToml | Navi.Event.Toml |
_NotifySend | Navi.Config.Types |
_Seconds | Navi.Data.NaviNote |
_Stdout | Navi.Config.Types |
_TomlError | Navi.Config.Types |
|| | Navi.Prelude |