Safe Haskell	Safe-Inferred
Language	GHC2021

Navi.Config

Contents

Description

This modules provides functionality for parsing configuration data from a toml file.

Synopsis

Config

Parses the provided toml file into a Config. Throws ConfigErr if anything goes wrong.

ConfigErr represents the errors we can encounter when attempting to parse a config file.

Constructors

Instances details

Exception ConfigErr Source #
Instance details Defined in Navi.Config.Types Methods toException :: ConfigErr -> SomeException Source # fromException :: SomeException -> Maybe ConfigErr Source # displayException :: ConfigErr -> String Source #
Show ConfigErr Source #
Instance details Defined in Navi.Config.Types Methods showsPrec :: Int -> ConfigErr -> ShowS Source # show :: ConfigErr -> String Source # showList :: [ConfigErr] -> ShowS Source #

Config holds the data from ConfigToml once it has been processed (e.g., all user defined Events are parsed).

Constructors

MkConfig
Fields events :: !(NonEmpty AnyEvent) The notification events. logging :: !Logging Logging configuration. noteSystem :: !NoteSystem The notification system to use.

Instances details

Show Config Source #
Instance details Defined in Navi.Config.Types Methods showsPrec :: Int -> Config -> ShowS Source # show :: Config -> String Source # showList :: [Config] -> ShowS Source #
(k ~ A_Lens, a ~ NonEmpty AnyEvent, b ~ NonEmpty AnyEvent) => LabelOptic "events" k Config Config a b Source #
Instance details Defined in Navi.Config.Types Methods labelOptic :: Optic k NoIx Config Config a b Source #
(k ~ A_Lens, a ~ Logging, b ~ Logging) => LabelOptic "logging" k Config Config a b Source #
Instance details Defined in Navi.Config.Types Methods labelOptic :: Optic k NoIx Config Config a b Source #
(k ~ A_Lens, a ~ NoteSystem, b ~ NoteSystem) => LabelOptic "noteSystem" k Config Config a b Source #
Instance details Defined in Navi.Config.Types Methods labelOptic :: Optic k NoIx Config Config a b Source #

Logging

Logging configuration.

Constructors

MkLogging
Fields severity :: !(Maybe LogLevel) Determines the log level. location :: !(Maybe LogLoc) Deterines the log location (i.e. file or stdout).

Instances details

Show Logging Source #
Instance details Defined in Navi.Config.Types Methods showsPrec :: Int -> Logging -> ShowS Source # show :: Logging -> String Source # showList :: [Logging] -> ShowS Source #
Eq Logging Source #
Instance details Defined in Navi.Config.Types Methods (==) :: Logging -> Logging -> Bool Source # (/=) :: Logging -> Logging -> Bool Source #
(k ~ A_Lens, a ~ Maybe LogLoc, b ~ Maybe LogLoc) => LabelOptic "location" k Logging Logging a b Source #
Instance details Defined in Navi.Config.Types Methods labelOptic :: Optic k NoIx Logging Logging a b Source #
(k ~ A_Lens, a ~ Maybe LogLevel, b ~ Maybe LogLevel) => LabelOptic "severity" k Logging Logging a b Source #
Instance details Defined in Navi.Config.Types Methods labelOptic :: Optic k NoIx Logging Logging a b Source #

Log location configuration.

Constructors

Instances details

Show LogLoc Source #
Instance details Defined in Navi.Config.Types Methods showsPrec :: Int -> LogLoc -> ShowS Source # show :: LogLoc -> String Source # showList :: [LogLoc] -> ShowS Source #
Eq LogLoc Source #
Instance details Defined in Navi.Config.Types Methods (==) :: LogLoc -> LogLoc -> Bool Source # (/=) :: LogLoc -> LogLoc -> Bool Source #

Configuration for notification systems.

Constructors

DBus	For use with a running notification server that receives messages via DBus.
NotifySend	For use with the notify-send tool.

Instances details

Show NoteSystem Source #
Instance details Defined in Navi.Config.Types Methods showsPrec :: Int -> NoteSystem -> ShowS Source # show :: NoteSystem -> String Source # showList :: [NoteSystem] -> ShowS Source #
Eq NoteSystem Source #
Instance details Defined in Navi.Config.Types Methods (==) :: NoteSystem -> NoteSystem -> Bool Source # (/=) :: NoteSystem -> NoteSystem -> Bool Source #