Moduleextensible-effects-5.0.0.1Haskell2010

Control.Eff.Fresh

Create unique Enumerable values.

Synopsis

datadata Fresh v where

Create unique Enumerable values.

Instances3Handle, MonadBaseControl, StM

Handle Fresh r a (Int -> k)Defined in extensible-effects-5.0.0.1 · Control.Eff.Fresh
Given a continuation and requests, respond to them
(MonadBase m m, LiftedBase m r) => MonadBaseControl m (Eff (Fresh ': r))Defined in extensible-effects-5.0.0.1 · Control.Eff.Fresh
type StM (Eff (Fresh ': r)) a = StM (Eff r) (a, Int)Defined in extensible-effects-5.0.0.1 · Control.Eff.Fresh

valuewithFresh :: Monad m => a -> Int -> m (a, Int)

Embed a pure value. Note that this is a specialized form of State's and we could have reused it.

valuefresh :: Member Fresh r => Eff r Int

Produce a value that has not been previously produced.

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

Run an effect requiring unique values.