cleff-0.1.0.0: Fast and concise extensible effects

Safe Haskell	None
Language	Haskell2010

Cleff.Fresh

Contents

Effect
Operations
Interpretations

Synopsis

data Fresh u :: Effect where
- Fresh :: Fresh u m u
fresh :: Fresh u :> es => Eff es u
freshIntToState :: Eff (Fresh Int ': es) ~> Eff (State Int ': es)
runFreshUnique :: IOE :> es => Eff (Fresh Unique ': es) ~> Eff es

Effect

data Fresh u :: Effect where Source #

An effect capable of generating unique values. This effect can be useful in generating variable indices.

Constructors

Fresh :: Fresh u m u

Operations

fresh :: Fresh u :> es => Eff es u Source #

Interpretations

freshIntToState :: Eff (Fresh Int ': es) ~> Eff (State Int ': es) Source #

Interpret a Fresh Int effect in terms of State Int.

runFreshUnique :: IOE :> es => Eff (Fresh Unique ': es) ~> Eff es Source #

Interpret a Fresh Unique effect in terms of IO actions.