di-polysemy-0.1.0.0: DI logger wrapped for Polysemy

Safe Haskell	None
Language	Haskell2010

DiPolysemy

Documentation

data Di level path msg m a where Source #

Constructors

Log :: level -> msg -> Di level path msg m ()
Flush :: Di level path msg m ()
Push :: Segment -> m a -> Di level Path msg m a
Attr_ :: Key -> Value -> m a -> Di level Path msg m a

Instances

type DefiningModule Di Source #
Instance details Defined in DiPolysemy type DefiningModule Di = "DiPolysemy"

runDiToIO :: forall r level msg a. Member (Embed IO) r => (Log level Path msg -> IO ()) -> Sem (Di level Path msg ': r) a -> Sem r a Source #

runDiToStderrIO :: Member (Embed IO) r => Sem (Di Level Path Message ': r) a -> Sem r a Source #

log :: forall level path msg r. MemberWithError (Di level path msg) r => level -> msg -> Sem r () Source #

flush :: forall level path msg r. MemberWithError (Di level path msg) r => Sem r () Source #

push :: forall level msg r a. MemberWithError (Di level Path msg) r => Segment -> Sem r a -> Sem r a Source #

attr_ :: forall level msg r a. MemberWithError (Di level Path msg) r => Key -> Value -> Sem r a -> Sem r a Source #

attr :: (ToValue value, Member (Di level Path msg) r) => Key -> value -> Sem r a -> Sem r a Source #

debug :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #

info :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #

notice :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #

warning :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #

error :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #

alert :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #

critical :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #

emergency :: (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #

debug_ :: Member (Di Level path Message) r => Message -> Sem r () Source #

info_ :: Member (Di Level path Message) r => Message -> Sem r () Source #

notice_ :: Member (Di Level path Message) r => Message -> Sem r () Source #

warning_ :: Member (Di Level path Message) r => Message -> Sem r () Source #

error_ :: Member (Di Level path Message) r => Message -> Sem r () Source #

alert_ :: Member (Di Level path Message) r => Message -> Sem r () Source #

critical_ :: Member (Di Level path Message) r => Message -> Sem r () Source #

emergency_ :: Member (Di Level path Message) r => Message -> Sem r () Source #