Control.Effect.Free

Description

A Freer carrier that can be used as a handler for effect systems based on data-effects.

Synopsis

type EffectfulF u fr e = EffF u fr (U u e)
type EffF u fr es = ViaFreer fr (EffUnionF u es)
newtype EffUnionF (u :: [SigClass] -> SigClass) es a = EffUnionF {
- unEffUnionF :: u es Nop a
}
toEffF :: forall es fr u c. (Freer c fr, Union u) => Eff u fr '[] es ~> EffF u fr es
fromEffF :: forall es fr u c. Freer c fr => EffF u fr es ~> Eff u fr '[] es
runEffF :: forall f fr u c. (Freer c fr, Union u, c f) => EffF u fr '[LiftIns f] ~> f

Documentation

type EffectfulF u fr e = EffF u fr (U u e) Source #

A common type for representing first-order extensible effectful programs that can issue effects belonging to the specified sum of effect classes.

type EffF u fr es = ViaFreer fr (EffUnionF u es) Source #

A common type for representing first-order extensible effectful programs that can issue effects belonging to the specified list of effect classes.

A common wrapper data type for representing first-order extensible effect union.

Constructors

EffUnionF
Fields unEffUnionF :: u es Nop a

Instances details

Member u e es => InjectIns e (EffUnionF u es) Source #
Instance details Defined in Control.Effect.Free Methods injectIns :: e ~> EffUnionF u es Source #

toEffF :: forall es fr u c. (Freer c fr, Union u) => Eff u fr '[] es ~> EffF u fr es Source #

fromEffF :: forall es fr u c. Freer c fr => EffF u fr es ~> Eff u fr '[] es Source #

runEffF :: forall f fr u c. (Freer c fr, Union u, c f) => EffF u fr '[LiftIns f] ~> f Source #