Control.Eff.Fresh

Create unique Enumerable values.

Documentation

newtype Fresh i v

Create unique Enumerable values.

Constructors

Fresh (i -> v)

Instances

Functor (Fresh i)

Typeable (* -> * -> *) Fresh

fresh :: (Typeable i, Enum i, Member (Fresh i) r) => Eff r i

Produce a value that has not been previously produced.

runFresh :: (Typeable i, Enum i) => Eff (Fresh i :> r) w -> i -> Eff r w

Run an effect requiring unique values.