Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Di level path msg m a where Source #
Log :: level -> msg -> Di level path msg m () | |
Flush :: Di level path msg m () | |
Local :: (Di level path msg -> Di level path msg) -> m a -> Di level path msg m a |
Instances
type DefiningModule Di Source # | |
Defined in 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 #
log :: forall level path msg r. MemberWithError (Di level path msg) r => level -> msg -> Sem r () Source #
local :: forall level path msg r a. MemberWithError (Di level path msg) r => (Di level path msg -> Di level path msg) -> Sem r a -> Sem r a Source #
push :: forall level msg r a. Member (Di level Path msg) r => Segment -> Sem r a -> Sem r a Source #
attr_ :: forall level msg r a. Member (Di level Path msg) r => Key -> Value -> Sem r a -> Sem r a Source #
attr :: forall value level msg r a. (ToValue value, Member (Di level Path msg) r) => Key -> value -> Sem r a -> Sem r a Source #
debug :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #
info :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #
notice :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #
warning :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #
error :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #
alert :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #
critical :: forall msg path r. (ToMessage msg, Member (Di Level path Message) r) => msg -> Sem r () Source #