Documentation

runCC :: forall (es :: [Effect]) a ans. FOEs es => (a -> Eff es ans) -> Eff (CC (Op (Eff es ans)) ': es) a -> Eff es ans Source #

handleCC :: forall g ans (f :: Type -> Type) x. CC (Op (g ans)) f x -> (x -> g ans) -> g ans Source #

evalCC :: forall (es :: [Effect]) a. FOEs es => Eff (CC (Op (Eff es a)) ': es) a -> Eff es a Source #

module Data.Effect.CC