| 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-0.22.2-9fRgRG4wYl1C3OFOggkyFm" '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 #
Instances
| Generic LogMessage Source # | |
Defined in Hydra.TUI.Logging.Types | |
| Show LogMessage Source # | |
Defined in Hydra.TUI.Logging.Types | |
| Eq LogMessage Source # | |
Defined in Hydra.TUI.Logging.Types Methods (==) :: LogMessage -> LogMessage -> Bool Source # (/=) :: LogMessage -> LogMessage -> Bool Source # | |
| type Rep LogMessage Source # | |
Defined in Hydra.TUI.Logging.Types type Rep LogMessage = D1 ('MetaData "LogMessage" "Hydra.TUI.Logging.Types" "hydra-tui-0.22.2-9fRgRG4wYl1C3OFOggkyFm" 'False) (C1 ('MetaCons "LogMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "severity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Severity) :*: (S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "time") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)))) | |
data LogVerbosity Source #
Instances
| Generic LogVerbosity Source # | |
Defined in Hydra.TUI.Logging.Types Methods from :: LogVerbosity -> Rep LogVerbosity x Source # to :: Rep LogVerbosity x -> LogVerbosity Source # | |
| Show LogVerbosity Source # | |
Defined in Hydra.TUI.Logging.Types | |
| Eq LogVerbosity Source # | |
Defined in Hydra.TUI.Logging.Types Methods (==) :: LogVerbosity -> LogVerbosity -> Bool Source # (/=) :: LogVerbosity -> LogVerbosity -> Bool Source # | |
| type Rep LogVerbosity Source # | |
Constructors
| LogState | |
Fields | |
logVerbosityL :: Lens' LogState LogVerbosity Source #
logMessagesL :: Lens' LogState [LogMessage] Source #