Control.Monad.Supply

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

Documentation

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

Minimal complete definition

supply, peek, exhausted

Methods

supply :: m s

peek :: m s

exhausted :: m Bool

Instances

MonadSupply s (Supply s)

Methods

supply :: Supply s s

peek :: Supply s s

exhausted :: Supply s Bool

(Monoid w, MonadSupply s m) => MonadSupply s (WriterT w m)

Methods

supply :: WriterT w m s

peek :: WriterT w m s

exhausted :: WriterT w m Bool

MonadSupply s m => MonadSupply s (StateT st m)

Methods

supply :: StateT st m s

peek :: StateT st m s

exhausted :: StateT st m Bool

MonadSupply s m => MonadSupply s (ExceptT e m)

Methods

supply :: ExceptT e m s

peek :: ExceptT e m s

exhausted :: ExceptT e m Bool

Monad m => MonadSupply s (SupplyT s m)

Methods

supply :: SupplyT s m s

peek :: SupplyT s m s

exhausted :: SupplyT s m Bool

MonadSupply s m => MonadSupply s (ReaderT * r m)

Methods

supply :: ReaderT * r m s

peek :: ReaderT * r m s

exhausted :: ReaderT * r m Bool

data SupplyT s m a

Supply monad transformer.

Instances

Monad m => MonadSupply s (SupplyT s m)

Methods

supply :: SupplyT s m s

peek :: SupplyT s m s

exhausted :: SupplyT s m Bool

MonadTrans (SupplyT s)

Methods

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

Monad m => Monad (SupplyT s m)

Methods

(>>=) :: SupplyT s m a -> (a -> SupplyT s m b) -> SupplyT s m b

(>>) :: SupplyT s m a -> SupplyT s m b -> SupplyT s m b

return :: a -> SupplyT s m a

fail :: String -> SupplyT s m a

Functor m => Functor (SupplyT s m)

Methods

fmap :: (a -> b) -> SupplyT s m a -> SupplyT s m b

(<$) :: a -> SupplyT s m b -> SupplyT s m a

MonadFix m => MonadFix (SupplyT s m)

Methods

mfix :: (a -> SupplyT s m a) -> SupplyT s m a

Monad m => Applicative (SupplyT s m)

Methods

pure :: a -> SupplyT s m a

(<*>) :: SupplyT s m (a -> b) -> SupplyT s m a -> SupplyT s m b

liftA2 :: (a -> b -> c) -> SupplyT s m a -> SupplyT s m b -> SupplyT s m c

(*>) :: SupplyT s m a -> SupplyT s m b -> SupplyT s m b

(<*) :: SupplyT s m a -> SupplyT s m b -> SupplyT s m a

MonadIO m => MonadIO (SupplyT s m)

Methods

liftIO :: IO a -> SupplyT s m a

data Supply s a

Supply monad.

Instances

MonadSupply s (Supply s)

Methods

supply :: Supply s s

peek :: Supply s s

exhausted :: Supply s Bool

Monad (Supply s)

Methods

(>>=) :: Supply s a -> (a -> Supply s b) -> Supply s b

(>>) :: Supply s a -> Supply s b -> Supply s b

return :: a -> Supply s a

fail :: String -> Supply s a

Functor (Supply s)

Methods

fmap :: (a -> b) -> Supply s a -> Supply s b

(<$) :: a -> Supply s b -> Supply s a

MonadFix (Supply s)

Methods

mfix :: (a -> Supply s a) -> Supply s a

Applicative (Supply s)

Methods

pure :: a -> Supply s a

(<*>) :: Supply s (a -> b) -> Supply s a -> Supply s b

liftA2 :: (a -> b -> c) -> Supply s a -> Supply s b -> Supply s c

(*>) :: Supply s a -> Supply s b -> Supply s b

(<*) :: Supply s a -> Supply s b -> Supply s a

Semigroup a => Semigroup (Supply s a)

Methods

(<>) :: Supply s a -> Supply s a -> Supply s a

sconcat :: NonEmpty (Supply s a) -> Supply s a

stimes :: Integral b => b -> Supply s a -> Supply s a

(Semigroup a, Monoid a) => Monoid (Supply s a)

Methods

mempty :: Supply s a

mappend :: Supply s a -> Supply s a -> Supply s a

mconcat :: [Supply s a] -> Supply s a

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

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

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

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

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

Get n supplies.