| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.TUI.Logging.Types
Documentation
Instances
| Generic Severity Source # | |
| Show Severity Source # | |
| Eq Severity Source # | |
| type Rep Severity Source # | |
Defined in Hydra.TUI.Logging.Types type Rep Severity = D1 ('MetaData "Severity" "Hydra.TUI.Logging.Types" "hydra-tui-2.3.0-1RNqZgU5ALTDb5pax6jaZ7" 'False) (C1 ('MetaCons "Success" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Info" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Error" 'PrefixI 'False) (U1 :: Type -> Type))) | |
data LogMessage Source #
Constructors
| LogMessage | |
Instances
data EventHistoryFilter Source #
Constructors
| ShowAll | |
| ErrorsOnly |
Instances
| Generic EventHistoryFilter Source # | |
Defined in Hydra.TUI.Logging.Types Methods from :: EventHistoryFilter -> Rep EventHistoryFilter x Source # to :: Rep EventHistoryFilter x -> EventHistoryFilter Source # | |
| Show EventHistoryFilter Source # | |
Defined in Hydra.TUI.Logging.Types | |
| Eq EventHistoryFilter Source # | |
Defined in Hydra.TUI.Logging.Types Methods (==) :: EventHistoryFilter -> EventHistoryFilter -> Bool Source # (/=) :: EventHistoryFilter -> EventHistoryFilter -> Bool Source # | |
| type Rep EventHistoryFilter Source # | |
Defined in Hydra.TUI.Logging.Types | |
Constructors
| LogState | |
Fields
| |
logMessagesL :: Lens' LogState [LogMessage] Source #