Cleff.Fresh

Effect

data Fresh u :: Effect where

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

Obtain a fresh unique value.

Interpretations

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

Interpret a Fresh Int effect in terms of State Int. This is a specialized version of freshEnumToState.

freshEnumToState :: Enum a => Eff (Fresh a ': es) ~> Eff (State a ': es)

Interpret a Fresh a in terms of State a for any Enum. Every time succ is called to generate the next value.

Since: 0.2.1.0

runFreshAtomicCounter :: Eff (Fresh Int ': es) ~> Eff es

Interpret a Fresh Int effect in terms of a AtomicCounter. This is usually faster than runFreshUnique.

Since: 0.2.1.0

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

Interpret a Fresh Unique effect in terms of IO actions. This is slower than runFreshAtomicCounter, but it won't overflow on maxBound :: Int.