Safe Haskell	Safe-Inferred
Language	GHC2021

Effectful.Zoo.Log.Dynamic

Documentation

data Log i :: Effect where Source #

Constructors

Log :: HasCallStack => Severity -> i -> Log i m ()
Local :: (i -> i) -> m a -> Log i m a

Instances details

type DispatchOf (Log a) Source #
Instance details Defined in Effectful.Zoo.Log.Dynamic type DispatchOf (Log a) = 'Dynamic

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