Safe Haskell	Safe
Language	Haskell2010

Control.Eff.Fresh

Description

Create unique Enumerable values.

Synopsis

Documentation

data Fresh v where Source #

Create unique Enumerable values.

Constructors

Instances

(MonadBase m m, LiftedBase m r) => MonadBaseControl m (Eff (Fresh ': r)) Source #
Instance details Defined in Control.Eff.Fresh Associated Types type StM (Eff (Fresh ': r)) a :: Type # Methods liftBaseWith :: (RunInBase (Eff (Fresh ': r)) m -> m a) -> Eff (Fresh ': r) a # restoreM :: StM (Eff (Fresh ': r)) a -> Eff (Fresh ': r) a #
Handle Fresh (Int -> r) Source #	Given a continuation and requests, respond to them
Instance details Defined in Control.Eff.Fresh Methods handle :: (v -> Int -> r) -> Fresh v -> Int -> r Source #
type StM (Eff (Fresh ': r)) a Source #
Instance details Defined in Control.Eff.Fresh type StM (Eff (Fresh ': r)) a = StM (Eff r) (a, Int)

withFresh :: Monad m => a -> Int -> m (a, Int) Source #

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

Produce a value that has not been previously produced.

Run an effect requiring unique values.