effectful-zoo-0.0.1.0: Effectful effects for testing
Safe HaskellSafe-Inferred
LanguageGHC2021

Effectful.Zoo.DataLog.Static

Documentation

data DataLog (i :: Type) :: Effect Source #

Instances

Instances details
type DispatchOf (DataLog i) Source # 
Instance details

Defined in Effectful.Zoo.DataLog.Static

type DispatchOf (DataLog i) = 'Static 'NoSideEffects
newtype StaticRep (DataLog i) Source # 
Instance details

Defined in Effectful.Zoo.DataLog.Static

newtype StaticRep (DataLog i) = DataLog (DataLogger i)

runDataLog :: forall i a r. HasCallStack => (HasCallStack => i -> Eff r ()) -> Eff (DataLog i : r) a -> Eff r a Source #

runDataLogTextToHandle :: HasCallStack => Handle -> Eff (DataLog Text : r) a -> Eff r a Source #

runDataLogTextToStdout :: HasCallStack => Eff (DataLog Text : r) a -> Eff r a Source #

runDataLogTextToStderr :: HasCallStack => Eff (DataLog Text : r) a -> Eff r a Source #

withDataLog :: HasCallStack => (o -> i) -> Eff (DataLog o : r) a -> Eff (DataLog i : r) a Source #

log :: HasCallStack => r <: DataLog i => i -> Eff r () Source #

local :: HasCallStack => r <: DataLog i => (i -> i) -> Eff r a -> Eff r a Source #