Safe Haskell | None |
---|---|
Language | Haskell2010 |
- newtype SupplyT m a = SupplyT {}
- type Supply = SupplyT Identity
- class Monad m => MonadSupply m where
- runSupplyT :: Monad m => SupplyT m a -> m a
- runSupply :: Supply a -> a
- type Loc = Integer
- newtype TickT m a = TickT {}
- type Tick = TickT Identity
- class Monad m => MonadTick m where
- runTickT :: Monad m => TickT m a -> m a
- runTick :: Tick a -> a
- freshStr :: MonadSupply m => String -> m String
Documentation
MonadTrans SupplyT Source | |
MonadReader r m => MonadReader r (SupplyT m) Source | |
MonadState s m => MonadState s (SupplyT m) Source | |
MonadWriter w m => MonadWriter w (SupplyT m) Source | |
Monad m => Monad (SupplyT m) Source | |
Functor m => Functor (SupplyT m) Source | |
MonadFix m => MonadFix (SupplyT m) Source | |
Monad m => Applicative (SupplyT m) Source | |
MonadException m => MonadException (SupplyT m) Source | |
MonadIO m => MonadIO (SupplyT m) Source | |
Monad m => MonadSupply (SupplyT m) Source |
class Monad m => MonadSupply m where Source
Nothing
MonadSupply m => MonadSupply (ExceptionT m) Source | |
Monad m => MonadSupply (SupplyT m) Source | |
MonadSupply m => MonadSupply (StateT s m) Source | |
MonadSupply m => MonadSupply (ReaderT r m) Source | |
MonadSupply m => MonadSupply (StateT s m) Source | |
(MonadSupply m, Monoid w) => MonadSupply (WriterT w m) Source |
runSupplyT :: Monad m => SupplyT m a -> m a Source
Tick monad
MonadTrans TickT Source | |
MonadReader r m => MonadReader r (TickT m) Source | |
MonadState s m => MonadState s (TickT m) Source | |
MonadWriter w m => MonadWriter w (TickT m) Source | |
Monad m => Monad (TickT m) Source | |
Functor m => Functor (TickT m) Source | |
MonadFix m => MonadFix (TickT m) Source | |
Monad m => Applicative (TickT m) Source | |
Monad m => MonadTick (TickT m) Source |
freshStr :: MonadSupply m => String -> m String Source
Create a fresh string identifier with the given prefix