Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Documentation
Instances
Applicative (StateL s) Source # | Since: base-4.0 |
Defined in GHC.Internal.Data.Functor.Utils | |
Functor (StateL s) Source # | Since: base-4.0 |
Instances
Applicative (StateR s) Source # | Since: base-4.0 |
Defined in GHC.Internal.Data.Functor.Utils | |
Functor (StateR s) Source # | Since: base-4.0 |
newtype StateT s (m :: Type -> Type) a Source #
A state transformer monad parameterized by the state and inner monad. The implementation is copied from the transformers package with the return tuple swapped.
Since: base-4.18.0.0
Instances
Monad m => Applicative (StateT s m) Source # | Since: base-4.18.0.0 |
Defined in GHC.Internal.Data.Functor.Utils pure :: a -> StateT s m a Source # (<*>) :: StateT s m (a -> b) -> StateT s m a -> StateT s m b Source # liftA2 :: (a -> b -> c) -> StateT s m a -> StateT s m b -> StateT s m c Source # (*>) :: StateT s m a -> StateT s m b -> StateT s m b Source # (<*) :: StateT s m a -> StateT s m b -> StateT s m a Source # | |
Monad m => Functor (StateT s m) Source # | Since: base-4.18.0.0 |
Monad m => Monad (StateT s m) Source # | Since: base-4.18.0.0 |