| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Navi.Event.Toml
Contents
Description
This modules provides toml configuration related to events.
Synopsis
- data RepeatEventToml
- repeatEventOptDecoder :: Decoder (Maybe RepeatEventToml)
- repeatEventTomlToVal :: MonadIORef m => RepeatEventToml -> m (RepeatEvent a)
- mRepeatEventTomlToVal :: MonadIORef m => Maybe RepeatEventToml -> m (RepeatEvent a)
- data MultiRepeatEventToml a
- multiRepeatEventOptDecoder :: Ord a => (Value -> DecodeM a) -> Decoder (Maybe (MultiRepeatEventToml a))
- multiRepeatEventTomlToVal :: (MonadIORef m, Ord b) => (a -> b) -> MultiRepeatEventToml a -> m (RepeatEvent b)
- mMultiRepeatEventTomlToVal :: (MonadIORef m, Ord b) => (a -> b) -> Maybe (MultiRepeatEventToml a) -> m (RepeatEvent b)
- data ErrorNoteToml
- errorNoteOptDecoder :: Decoder (Maybe ErrorNoteToml)
- errorNoteTomlToVal :: MonadIORef m => ErrorNoteToml -> m ErrorNote
- mErrorNoteTomlToVal :: MonadIORef m => Maybe ErrorNoteToml -> m ErrorNote
Normal events
data RepeatEventToml Source #
TOML for RepeatEvent.
Constructors
| NoRepeatsToml | |
| AllowRepeatsToml |
Instances
| Show RepeatEventToml Source # | |
Defined in Navi.Event.Toml Methods showsPrec :: Int -> RepeatEventToml -> ShowS # show :: RepeatEventToml -> String # showList :: [RepeatEventToml] -> ShowS # | |
| Eq RepeatEventToml Source # | |
Defined in Navi.Event.Toml Methods (==) :: RepeatEventToml -> RepeatEventToml -> Bool # (/=) :: RepeatEventToml -> RepeatEventToml -> Bool # | |
| DecodeTOML RepeatEventToml Source # | Since: 0.1 |
Defined in Navi.Event.Toml Methods | |
repeatEventOptDecoder :: Decoder (Maybe RepeatEventToml) Source #
TOML decoder for optional RepeatEventToml with field name
"repeat-events".
Since: 0.1
repeatEventTomlToVal :: MonadIORef m => RepeatEventToml -> m (RepeatEvent a) Source #
Constructs a mutable RepeatEvent from RepeatEventToml.
mRepeatEventTomlToVal :: MonadIORef m => Maybe RepeatEventToml -> m (RepeatEvent a) Source #
Constructs a mutable RepeatEvent from RepeatEventToml. If none is
provided, defaults to NoRepeatsToml, i.e., no repeats.
Multi events
data MultiRepeatEventToml a Source #
TOML for RepeatEvent that allows repeating some (text) events.
Constructors
| MultiNoRepeatsToml | |
| MultiSomeRepeatsToml (Set a) | |
| MultiAllowRepeatsToml |
Instances
| Show a => Show (MultiRepeatEventToml a) Source # | |
Defined in Navi.Event.Toml Methods showsPrec :: Int -> MultiRepeatEventToml a -> ShowS # show :: MultiRepeatEventToml a -> String # showList :: [MultiRepeatEventToml a] -> ShowS # | |
| Eq a => Eq (MultiRepeatEventToml a) Source # | |
Defined in Navi.Event.Toml Methods (==) :: MultiRepeatEventToml a -> MultiRepeatEventToml a -> Bool # (/=) :: MultiRepeatEventToml a -> MultiRepeatEventToml a -> Bool # | |
multiRepeatEventOptDecoder :: Ord a => (Value -> DecodeM a) -> Decoder (Maybe (MultiRepeatEventToml a)) Source #
TOML decoder for optional RepeatEventToml with field name
"repeat-events".
Since: 0.1
multiRepeatEventTomlToVal :: (MonadIORef m, Ord b) => (a -> b) -> MultiRepeatEventToml a -> m (RepeatEvent b) Source #
Constructs a mutable RepeatEvent from RepeatEventToml.
mMultiRepeatEventTomlToVal :: (MonadIORef m, Ord b) => (a -> b) -> Maybe (MultiRepeatEventToml a) -> m (RepeatEvent b) Source #
Constructs a mutable RepeatEvent from RepeatEventToml. If none is
provided, defaults to NoRepeatsToml, i.e., no repeats.
Errors
data ErrorNoteToml Source #
TOML for ErrorNote.
Constructors
| NoErrNoteToml | |
| ErrNoteAllowRepeatsToml | |
| ErrNoteNoRepeatsToml |
Instances
| Show ErrorNoteToml Source # | |
Defined in Navi.Event.Toml Methods showsPrec :: Int -> ErrorNoteToml -> ShowS # show :: ErrorNoteToml -> String # showList :: [ErrorNoteToml] -> ShowS # | |
| Eq ErrorNoteToml Source # | |
Defined in Navi.Event.Toml Methods (==) :: ErrorNoteToml -> ErrorNoteToml -> Bool # (/=) :: ErrorNoteToml -> ErrorNoteToml -> Bool # | |
| DecodeTOML ErrorNoteToml Source # | Since: 0.1 |
Defined in Navi.Event.Toml Methods | |
errorNoteOptDecoder :: Decoder (Maybe ErrorNoteToml) Source #
TOML decoder for optional ErrorNoteToml with field name
"error-events".
Since: 0.1
errorNoteTomlToVal :: MonadIORef m => ErrorNoteToml -> m ErrorNote Source #
Constructs a mutable ErrorNote from ErrorNoteToml.
mErrorNoteTomlToVal :: MonadIORef m => Maybe ErrorNoteToml -> m ErrorNote Source #
Constructs a mutable ErrorNote from ErrorNoteToml. If none is
provided, defaults to ErrNoteNoRepeatsToml, i.e., we do send
notifications for errors, but we do not send repeats.