Effectful.Zoo.DataLog.Data.LogEntry

Documentation

data LogEntry a

Constructors

LogEntry

Fields

• message :: !a
• time :: !UTCTime
• source :: !CallStack

Instances

Generic (LogEntry a)

Defined in Effectful.Zoo.DataLog.Data.LogEntry

Associated Types

type Rep (LogEntry a) :: Type -> Type

Methods

from :: LogEntry a -> Rep (LogEntry a) x

to :: Rep (LogEntry a) x -> LogEntry a

Show a => Show (LogEntry a)

Defined in Effectful.Zoo.DataLog.Data.LogEntry

Methods

showsPrec :: Int -> LogEntry a -> ShowS

show :: LogEntry a -> String

showList :: [LogEntry a] -> ShowS

type Rep (LogEntry a)

Defined in Effectful.Zoo.DataLog.Data.LogEntry

type Rep (LogEntry a) = D1 ('MetaData "LogEntry" "Effectful.Zoo.DataLog.Data.LogEntry" "effectful-zoo-0.0.1.0-GRBLOGvI3mP8eq7rgEiM2E-datalog" 'False) (C1 ('MetaCons "LogEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: (S1 ('MetaSel ('Just "time") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CallStack))))

annotate :: HasCallStack => r <: IOE => a -> Eff r (LogEntry a)