Control.Eff.Fresh

Create unique Enumerable values.

Documentation

data Fresh v where

Create unique Enumerable values.

Constructors

Fresh :: Fresh Int

Instances

(MonadBase m m, SetMember (* -> *) (Lift *) (Lift * m) r, MonadBaseControl m (Eff r)) => MonadBaseControl m (Eff ((:) (* -> *) Fresh r))

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

type StM (Eff ((:) (* -> *) Fresh r)) a

type StM (Eff ((:) (* -> *) Fresh r)) a = StM (Eff r) (a, Int)

fresh :: Member Fresh r => Eff r Int

Produce a value that has not been previously produced.

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

Run an effect requiring unique values.