Effectful.Colog

Effect

data Log msg m a

Provides the ability to log with an implicit LogEff

Instances

type DispatchOf (Log msg)

Defined in Effectful.Colog

type DispatchOf (Log msg) = 'Static 'NoSideEffects

data StaticRep (Log msg)

Defined in Effectful.Colog

data StaticRep (Log msg) where

• MkLog :: forall (localEs :: [Effect]) msg. !(Env localEs) -> !(LogEff localEs msg) -> StaticRep (Log msg)

type LogEff es msg = LogAction (Eff es) msg

LogAction limited to the Eff monad

logMsg :: forall msg es. Log msg :> es => msg -> Eff es ()

logs a message using the implicit LogEff

injectLog :: forall (xs :: [Effect]) (es :: [Effect]) a. Subset xs es => LogEff xs a -> LogEff es a

converts a LogEff into another compatible LogEff

Handlers

runLogAction :: forall es msg a. LogEff es msg -> Eff (Log msg : es) a -> Eff es a

runs the Log effect using the provided action this is the most general runner

runLogWriter :: forall es msg a. Monoid msg => Eff (Log msg : es) a -> Eff es (a, msg)

runs the Log effect using tellLogEff and then handles the Writer effect

LogActions

tellLogEff :: forall es msg. (Writer msg :> es, Monoid msg) => LogEff es msg

LogEff that delegates to a static shared Writer effect

FileSystem constrained

byteStringLogEff :: forall es. FileSystem :> es => Handle -> LogEff es ByteString

LogEff that writes ByteString to a Handle

textLogEff :: forall es. FileSystem :> es => Handle -> LogEff es Text

LogEff that writes Text to a Handle

Re-exports

module Colog.Core.Action