Reflex.Monad.Supply

Documentation

data SupplyT s m a

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

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

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)

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

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