Safe Haskell | None |
---|
- papillon :: QuasiQuoter
- papillonStr :: String -> IO String
- papillonStr' :: String -> IO String
- newtype StateT s m a = StateT {
- runStateT :: s -> m (a, s)
Documentation
papillonStr :: String -> IO StringSource
papillonStr' :: String -> IO StringSource
newtype StateT s m a
A state transformer monad parameterized by:
-
s
- The state. -
m
- The inner monad.
The return
function leaves the state unchanged, while >>=
uses
the final state of the first computation as the initial state of
the second.
MonadTrans (StateT s) | |
Monad m => Monad (StateT s m) | |
Functor m => Functor (StateT s m) | |
MonadFix m => MonadFix (StateT s m) | |
MonadPlus m => MonadPlus (StateT s m) | |
(Functor m, Monad m) => Applicative (StateT s m) | |
(Functor m, MonadPlus m) => Alternative (StateT s m) | |
MonadIO m => MonadIO (StateT s m) | |
Monad m => MonadState (StateT s m) |