extensible-effects-3.1.0.1: An Alternative to Monad Transformers
Control.Eff.Fresh
Description
Create unique Enumerable values.
data Fresh v where Source #
Constructors
Defined in Control.Eff.Fresh
Associated Types
type StM (Eff (Fresh ': r)) a :: * #
Methods
liftBaseWith :: (RunInBase (Eff (Fresh ': r)) m -> m a) -> Eff (Fresh ': r) a #
restoreM :: StM (Eff (Fresh ': r)) a -> Eff (Fresh ': r) a #
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.