KiCS2
Exported names: Imported modules:

Module Control.Monad.State

Summary of exported operations:

runState :: State a b -> a -> (b,a)   
state :: (a -> (b,a)) -> State a b   
get :: State a a   
put :: a -> State a ()   
modify :: (a -> a) -> State a ()   
evalState :: State a b -> a -> b   
execState :: State a b -> a -> a   

Exported datatypes:

State

Constructors:

  • State :: (a -> (b,a)) -> State a b

Exported operations:

runState :: State a b -> a -> (b,a)   

Further infos:
  • solution complete, i.e., able to compute all solutions

state :: (a -> (b,a)) -> State a b   

Further infos:
  • solution complete, i.e., able to compute all solutions

get :: State a a   

put :: a -> State a ()   

modify :: (a -> a) -> State a ()   

evalState :: State a b -> a -> b   

execState :: State a b -> a -> a