Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
newtype MultiStateT x m a Source
MultiStateT | |
|
MonadState s m => MonadState s (MultiStateT c m) | |
MonadWriter w m => MonadWriter w (MultiStateT c m) | |
(Monad m, ContainsType a c) => MonadMultiState a (MultiStateT c m) | |
MonadTrans (MultiStateT x) | |
Monad m => Monad (MultiStateT x m) | |
Functor f => Functor (MultiStateT x f) | |
(Applicative m, Monad m) => Applicative (MultiStateT x m) |
type MultiStateTNull = MultiStateT Null Source
type MultiState x a = MultiStateT x Identity a Source
class Monad m => MonadMultiState a m where Source
(MonadTrans t, Monad (t m), MonadMultiState a m) => MonadMultiState a (t m) | |
(Monad m, ContainsType a c) => MonadMultiState a (MultiStateT c m) |
mGetRaw :: Monad m => MultiStateT a m (HList a) Source
withMultiState :: Monad m => x -> MultiStateT (Cons x xs) m a -> MultiStateT xs m a Source
withMultiStates :: Monad m => HList xs -> MultiStateT (Append xs ys) m a -> MultiStateT ys m a Source
evalMultiStateT :: Monad m => MultiStateT Null m a -> m a Source
evalMultiStateTWithInitial :: Monad m => HList a -> MultiStateT a m b -> m b Source
mapMultiStateT :: (m (a, HList w) -> m' (a', HList w)) -> MultiStateT w m a -> MultiStateT w m' a' Source
data Cons car cdr :: * -> * -> *