DiPolysemy

Documentation

data Di level path msg m a where

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

debug_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()

info_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()

notice_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()

warning_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()

error_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()

alert_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()

critical_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()

emergency_ :: forall path r. Member (Di Level path Message) r => Message -> Sem r ()