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

Effectful.Zoo.DataLog.Dynamic

Documentation

data DataLog a :: Effect where Source #

Constructors

DataLog :: a -> DataLog a m () 
Local :: (a -> a) -> m b -> DataLog a m b 

Instances

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

Defined in Effectful.Zoo.DataLog.Dynamic

type DispatchOf (DataLog a) = 'Dynamic

runDataLog :: HasCallStack => r <: IOE => UnliftStrategy -> (HasCallStack => i -> Eff r ()) -> Eff (DataLog i : r) a -> Eff r a Source #