Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

# Documentation

module Control.Monad.RevState.Class

#### Instances

MonadFix m => MonadRevState s (StateT s m) Source # | |

MonadFix m => MonadFix (StateT s m) Source # | |

Defined in Control.Monad.Trans.RevState | |

MonadFix m => Applicative (StateT s m) Source # | |

Defined in Control.Monad.Trans.RevState | |

Functor m => Functor (StateT s m) Source # | |

MonadFix m => Monad (StateT s m) Source # | |

evalStateT :: Functor m => StateT s m a -> s -> m a Source #

execStateT :: Functor m => StateT s m a -> s -> m s Source #

withStateT :: (s -> s) -> StateT s m a -> StateT s m a Source #

liftStateT :: Functor m => m a -> StateT s m a Source #