Reflex.Monad.Supply

Documentation

data SupplyT s m a

ID Supply transformer for switchable reflex stacks over splittable ID supplies Fresh variables are obtained using getFresh. Admits a MonadSwitch instance.

Instances

MonadState st m => MonadState st (SupplyT s m)

MonadReader st m => MonadReader st (SupplyT s m)

MonadWriter w m => MonadWriter w (SupplyT s m)

MonadSample t m => MonadSample t (SupplyT s m)

MonadHold t m => MonadHold t (SupplyT s m)

(MonadSwitch t m, Splitable s i) => MonadSwitch t (SupplyT s m)

MonadTrans (SupplyT s)

Monad m => Monad (SupplyT s m)

Functor m => Functor (SupplyT s m)

MonadFix m => MonadFix (SupplyT s m)

Monad m => Applicative (SupplyT s m)

type Supply s a = SupplyT s Identity a

Non transformer version

class Splitable s i | s -> i where

Abstraction for splittable identifier supplies, priovided is an instance for Enum a => [a] but a more efficient supply would be for example, found in the concurrent-supply package. at the cost of determinism. Two parameters, a state s and an identifier type i

Methods

freshId :: s -> (i, s)

splitSupply :: s -> (s, s)

Instances

Enum a => Splitable [a] [a]

runSupplyT :: Monad m => SupplyT s m a -> s -> m (a, s)

Run a SupplyT with a Spittable state

evalSupplyT :: Monad m => SupplyT s m a -> s -> m a

runSupply :: Supply s a -> s -> (a, s)

evalSupply :: Supply s a -> s -> a

runSplit :: (Monad m, Splitable s i) => SupplyT s m a -> Supply s (m a)

Run a non transformer Supply using a split

getFresh :: (Monad m, Splitable s i) => SupplyT s m i

Obtain a fresh ID from the Supply

getSplit :: (Monad m, Splitable s i) => SupplyT s m s

Obtain a value of the ID Supply which provides distinct ids from those returned from the Monad in future.