Control.Monad.Indexed.State

Documentation

class IxMonad m => IxMonadState m where

Minimal complete definition

iget, iput

Methods

iget :: m i i i

iput :: j -> m i j ()

Instances

IxMonadState IxState

Methods

iget :: IxState i i i

iput :: j -> IxState i j ()

Monad m => IxMonadState (IxStateT m)

Methods

iget :: IxStateT m i i i

iput :: j -> IxStateT m i j ()

imodify :: IxMonadState m => (i -> j) -> m i j ()

igets :: IxMonadState m => (i -> a) -> m i i a

newtype IxStateT m i j a

Constructors

IxStateT

Fields

• runIxStateT :: i -> m (a, j)

Instances

IxMonadTrans IxStateT

Methods

ilift :: Monad m => m a -> IxStateT m i i a

Monad m => MonadState i (IxStateT m i i)

Methods

get :: IxStateT m i i i

put :: i -> IxStateT m i i ()

state :: (i -> (a, i)) -> IxStateT m i i a

MonadReader r m => MonadReader r (IxStateT m i i)

Methods

ask :: IxStateT m i i r

local :: (r -> r) -> IxStateT m i i a -> IxStateT m i i a

reader :: (r -> a) -> IxStateT m i i a

MonadError e m => MonadError e (IxStateT m i i)

Methods

throwError :: e -> IxStateT m i i a

catchError :: IxStateT m i i a -> (e -> IxStateT m i i a) -> IxStateT m i i a

MonadWriter w m => MonadWriter w (IxStateT m i i)

Methods

writer :: (a, w) -> IxStateT m i i a

tell :: w -> IxStateT m i i ()

listen :: IxStateT m i i a -> IxStateT m i i (a, w)

pass :: IxStateT m i i (a, w -> w) -> IxStateT m i i a

MonadFix m => IxMonadFix (IxStateT m)

Methods

imfix :: (a -> IxStateT m i i a) -> IxStateT m i i a

Monad m => IxMonad (IxStateT m)

Methods

ibind :: (a -> IxStateT m j k b) -> IxStateT m i j a -> IxStateT m i k b

MonadPlus m => IxMonadZero (IxStateT m)

Methods

imzero :: IxStateT m i j a

MonadPlus m => IxMonadPlus (IxStateT m)

Methods

implus :: IxStateT m i j a -> IxStateT m i j a -> IxStateT m i j a

Monad m => IxFunctor (IxStateT m)

Methods

imap :: (a -> b) -> IxStateT m j k a -> IxStateT m j k b

Monad m => IxApplicative (IxStateT m)

Methods

iap :: IxStateT m i j (a -> b) -> IxStateT m j k a -> IxStateT m i k b

Monad m => IxPointed (IxStateT m)

Methods

ireturn :: a -> IxStateT m i i a

Monad m => IxMonadState (IxStateT m)

Methods

iget :: IxStateT m i i i

iput :: j -> IxStateT m i j ()

Monad m => Bifunctor (IxStateT m i)

Methods

bimap :: (a -> b) -> (c -> d) -> IxStateT m i a c -> IxStateT m i b d

first :: (a -> b) -> IxStateT m i a c -> IxStateT m i b c

second :: (b -> c) -> IxStateT m i a b -> IxStateT m i a c

Monad m => Monad (IxStateT m i i)

Methods

(>>=) :: IxStateT m i i a -> (a -> IxStateT m i i b) -> IxStateT m i i b

(>>) :: IxStateT m i i a -> IxStateT m i i b -> IxStateT m i i b

return :: a -> IxStateT m i i a

fail :: String -> IxStateT m i i a

Monad m => Functor (IxStateT m i j)

Methods

fmap :: (a -> b) -> IxStateT m i j a -> IxStateT m i j b

(<$) :: a -> IxStateT m i j b -> IxStateT m i j a

MonadFix m => MonadFix (IxStateT m i i)

Methods

mfix :: (a -> IxStateT m i i a) -> IxStateT m i i a

Monad m => Applicative (IxStateT m i i)

Methods

pure :: a -> IxStateT m i i a

(<*>) :: IxStateT m i i (a -> b) -> IxStateT m i i a -> IxStateT m i i b

(*>) :: IxStateT m i i a -> IxStateT m i i b -> IxStateT m i i b

(<*) :: IxStateT m i i a -> IxStateT m i i b -> IxStateT m i i a

MonadIO m => MonadIO (IxStateT m i i)

Methods

liftIO :: IO a -> IxStateT m i i a

MonadCont m => MonadCont (IxStateT m i i)

Methods

callCC :: ((a -> IxStateT m i i b) -> IxStateT m i i a) -> IxStateT m i i a

newtype IxState i j a

Constructors

IxState

Fields

• runIxState :: i -> (a, j)

Instances

IxMonadFix IxState

Methods

imfix :: (a -> IxState i i a) -> IxState i i a

IxMonad IxState

Methods

ibind :: (a -> IxState j k b) -> IxState i j a -> IxState i k b

IxFunctor IxState

Methods

imap :: (a -> b) -> IxState j k a -> IxState j k b

IxApplicative IxState

Methods

iap :: IxState i j (a -> b) -> IxState j k a -> IxState i k b

IxPointed IxState

Methods

ireturn :: a -> IxState i i a

IxMonadState IxState

Methods

iget :: IxState i i i

iput :: j -> IxState i j ()

MonadState i (IxState i i)

Methods

get :: IxState i i i

put :: i -> IxState i i ()

state :: (i -> (a, i)) -> IxState i i a

Bifunctor (IxState i)

Methods

bimap :: (a -> b) -> (c -> d) -> IxState i a c -> IxState i b d

first :: (a -> b) -> IxState i a c -> IxState i b c

second :: (b -> c) -> IxState i a b -> IxState i a c

Monad (IxState i i)

Methods

(>>=) :: IxState i i a -> (a -> IxState i i b) -> IxState i i b

(>>) :: IxState i i a -> IxState i i b -> IxState i i b

return :: a -> IxState i i a

fail :: String -> IxState i i a

Functor (IxState i j)

Methods

fmap :: (a -> b) -> IxState i j a -> IxState i j b

(<$) :: a -> IxState i j b -> IxState i j a

MonadFix (IxState i i)

Methods

mfix :: (a -> IxState i i a) -> IxState i i a

Applicative (IxState i i)

Methods

pure :: a -> IxState i i a

(<*>) :: IxState i i (a -> b) -> IxState i i a -> IxState i i b

(*>) :: IxState i i a -> IxState i i b -> IxState i i b

(<*) :: IxState i i a -> IxState i i b -> IxState i i a