monad-supply-0.1: Stateful supply monad.



Support for computations which consume values from a (possibly infinite) supply. See http:www.haskell.orghaskellwikiNew_monads/MonadSupply for details.



class Monad m => MonadSupply s m | m -> sSource


data SupplyT s m a Source

Supply monad transformer.


Monad m => MonadSupply s (SupplyT s m) 
MonadTrans (SupplyT s) 
Monad m => Monad (SupplyT s m) 
Functor m => Functor (SupplyT s m) 
MonadIO m => MonadIO (SupplyT s m) 

data Supply s a Source

Supply monad.


MonadSupply s (Supply s) 
Monad (Supply s) 
Functor (Supply s) 
Monoid a => Monoid (Supply s a)

Monoid instance for the supply monad. Actually any monad/monoid pair gives rise to this monoid instance, but we can't write it like that because it would conflict with existing instances provided by Data.Monoid.

evalSupplyT :: Monad m => SupplyT s m a -> [s] -> m aSource

evalSupply :: Supply s a -> [s] -> aSource

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

runSupply :: Supply s a -> [s] -> (a, [s])Source

supplies :: MonadSupply s m => Int -> m [s]Source

Get n supplies.