Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
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.19.0-Kh41uLwojbG7sZW9GiQjX4" '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 from :: LogMessage -> Rep LogMessage x Source # to :: Rep LogMessage x -> LogMessage Source # | |
Show LogMessage Source # | |
Defined in Hydra.TUI.Logging.Types | |
Eq LogMessage Source # | |
Defined in Hydra.TUI.Logging.Types (==) :: 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.19.0-Kh41uLwojbG7sZW9GiQjX4" '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 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 (==) :: LogVerbosity -> LogVerbosity -> Bool Source # (/=) :: LogVerbosity -> LogVerbosity -> Bool Source # | |
type Rep LogVerbosity Source # | |
logVerbosityL :: Lens' LogState LogVerbosity Source #
logMessagesL :: Lens' LogState [LogMessage] Source #