Effectful.Zoo.Log.Static

Documentation

data Log (i :: Type) :: Effect

Instances

type DispatchOf (Log i)

Defined in Effectful.Zoo.Log.Static

type DispatchOf (Log i) = 'Static 'NoSideEffects

newtype StaticRep (Log i)

Defined in Effectful.Zoo.Log.Static

newtype StaticRep (Log i) = Log (Logger i)

runLog :: r <: IOE => HasCallStack => UnliftStrategy -> (CallStack -> Severity -> i -> Eff r ()) -> Eff (Log i : r) a -> Eff r a

runLogToHandle :: HasCallStack => Handle -> (Severity -> a -> Text) -> Eff (Log a : r) a -> Eff r a

runLogToStdout :: HasCallStack => (Severity -> a -> Text) -> Eff (Log a : r) a -> Eff r a

runLogToStderr :: HasCallStack => (Severity -> a -> Text) -> Eff (Log a : r) a -> Eff r a

withLog :: HasCallStack => (o -> i) -> Eff (Log o : r) a -> Eff (Log i : r) a

log :: HasCallStack => r <: Log i => r <: IOE => Severity -> i -> Eff r ()

local :: HasCallStack => r <: Log i => (i -> i) -> Eff r a -> Eff r a