extensible-effects-2.5.0.0: An Alternative to Monad Transformers

Safe HaskellSafe
LanguageHaskell2010

Control.Eff.Fresh

Description

Create unique Enumerable values.

Synopsis

Documentation

data Fresh v where Source #

Create unique Enumerable values.

Constructors

Fresh :: Fresh Int 

fresh :: Member Fresh r => Eff r Int Source #

Produce a value that has not been previously produced.

runFresh' :: Eff (Fresh ': r) w -> Int -> Eff r w Source #

Run an effect requiring unique values.