| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Data.Accessor.Monad.Trans.State
Description
Access helper functions in a State monad
Synopsis
- set :: forall (m :: Type -> Type) r a. Monad m => T r a -> a -> StateT r m ()
- get :: forall (m :: Type -> Type) r a. Monad m => T r a -> StateT r m a
- modify :: forall (m :: Type -> Type) r a. Monad m => T r a -> (a -> a) -> StateT r m ()
- getAndModify :: forall (m :: Type -> Type) r a. Monad m => T r a -> (a -> a) -> StateT r m a
- modifyAndGet :: forall (m :: Type -> Type) r a. Monad m => T r a -> (a -> a) -> StateT r m a
- (%=) :: forall (m :: Type -> Type) r a. Monad m => T r a -> a -> StateT r m ()
- (%:) :: forall (m :: Type -> Type) r a. Monad m => T r a -> (a -> a) -> StateT r m ()
- lift :: forall (m :: Type -> Type) r s a. Monad m => T r s -> State s a -> StateT r m a
- liftT :: forall (m :: Type -> Type) r s a. Monad m => T r s -> StateT s m a -> StateT r m a
accessors in the form of actions in the state monad
getAndModify :: forall (m :: Type -> Type) r a. Monad m => T r a -> (a -> a) -> StateT r m a Source #
Modify a record element and return its old value.
modifyAndGet :: forall (m :: Type -> Type) r a. Monad m => T r a -> (a -> a) -> StateT r m a Source #
Modify a record element and return its new value.
(%=) :: forall (m :: Type -> Type) r a. Monad m => T r a -> a -> StateT r m () infix 1 Source #
Infix variant of set.
(%:) :: forall (m :: Type -> Type) r a. Monad m => T r a -> (a -> a) -> StateT r m () infix 1 Source #
Infix variant of modify.