Foundation.Monad.State

MonadState

class Monad m => MonadState m where

Associated Types

type State m

Methods

withState :: (State m -> (a, State m)) -> m a

Instances

MonadState Check

Defined in Foundation.Check.Types

Associated Types

type State Check :: Type

Methods

withState :: (State Check -> (a, State Check)) -> Check a

(Functor m, Monad m) => MonadState (StateT s m)

Defined in Foundation.Monad.State

Associated Types

type State (StateT s m) :: Type

Methods

withState :: (State (StateT s m) -> (a, State (StateT s m))) -> StateT s m a

get :: MonadState m => m (State m)

put :: MonadState m => State m -> m ()

StateT

data StateT s m a

State Transformer

Instances

MonadTrans (StateT s)

Defined in Foundation.Monad.State

Methods

lift :: Monad m => m a -> StateT s m a

(Functor m, Monad m) => Monad (StateT s m)

Defined in Foundation.Monad.State

Methods

(>>=) :: StateT s m a -> (a -> StateT s m b) -> StateT s m b

(>>) :: StateT s m a -> StateT s m b -> StateT s m b

return :: a -> StateT s m a

fail :: String -> StateT s m a

Functor m => Functor (StateT s m)

Defined in Foundation.Monad.State

Methods

fmap :: (a -> b) -> StateT s m a -> StateT s m b

(<$) :: a -> StateT s m b -> StateT s m a

(Functor m, MonadFix m) => MonadFix (StateT s m)

Defined in Foundation.Monad.State

Methods

mfix :: (a -> StateT s m a) -> StateT s m a

(Applicative m, Monad m) => Applicative (StateT s m)

Defined in Foundation.Monad.State

Methods

pure :: a -> StateT s m a

(<*>) :: StateT s m (a -> b) -> StateT s m a -> StateT s m b

liftA2 :: (a -> b -> c) -> StateT s m a -> StateT s m b -> StateT s m c

(*>) :: StateT s m a -> StateT s m b -> StateT s m b

(<*) :: StateT s m a -> StateT s m b -> StateT s m a

(Functor m, MonadIO m) => MonadIO (StateT s m)

Defined in Foundation.Monad.State

Methods

liftIO :: IO a -> StateT s m a

(Functor m, MonadFailure m) => MonadFailure (StateT s m)

Defined in Foundation.Monad.State

Associated Types

type Failure (StateT s m) :: Type

Methods

mFail :: Failure (StateT s m) -> StateT s m ()

(Functor m, MonadCatch m) => MonadCatch (StateT s m)

Defined in Foundation.Monad.State

Methods

catch :: Exception e => StateT s m a -> (e -> StateT s m a) -> StateT s m a

(Functor m, MonadThrow m) => MonadThrow (StateT s m)

Defined in Foundation.Monad.State

Methods

throw :: Exception e => e -> StateT s m a

(Functor m, Monad m) => MonadState (StateT s m)

Defined in Foundation.Monad.State

Associated Types

type State (StateT s m) :: Type

Methods

withState :: (State (StateT s m) -> (a, State (StateT s m))) -> StateT s m a

type Failure (StateT s m)

Defined in Foundation.Monad.State

type Failure (StateT s m) = Failure m

type State (StateT s m)

Defined in Foundation.Monad.State

type State (StateT s m) = s

runStateT :: StateT s m a -> s -> m (a, s)