PAKCS
Exported names: Imported modules:

Module StateMonad

Summary of exported operations:

get :: Monad a => StateT b a b   
gets :: Monad a => (b -> c) -> StateT b a c   
put :: Monad a => b -> StateT b a ()   
modify :: Monad a => (b -> b) -> StateT b a ()   
concatMapM :: Monad a => (b -> a [c]) -> [b] -> a [c]   

Exported datatypes:

StateT

Constructors:

  • StateT :: (a -> b (c,a)) -> StateT a b c

    Fields:

    • runStateT :: (a -> b (c,a))

Exported operations:

get :: Monad a => StateT b a b   

gets :: Monad a => (b -> c) -> StateT b a c   

put :: Monad a => b -> StateT b a ()   

modify :: Monad a => (b -> b) -> StateT b a ()   

concatMapM :: Monad a => (b -> a [c]) -> [b] -> a [c]