Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype StateT f i j a Source #
Instances
Monad m => IxMonad (StateT m :: Type -> Type -> Type -> Type) Source # | |
Monad m => IxApplicative (StateT m :: Type -> Type -> Type -> Type) Source # | |
Monad m => Monad (StateT m k k) Source # | |
Functor f => Functor (StateT f i j) Source # | |
MonadFix m => MonadFix (StateT m k k) Source # | |
Defined in Control.Monad.Indexed.Trans.State | |
Monad m => Applicative (StateT m k k) Source # | |
Defined in Control.Monad.Indexed.Trans.State | |
MonadPlus m => Alternative (StateT m k k) Source # | |
MonadPlus m => MonadPlus (StateT m k k) Source # | |
modify :: Applicative p => (i -> j) -> StateT p i j i Source #
get :: Applicative p => StateT p k k k Source #
put :: Applicative p => j -> StateT p i j () Source #