State
newtype State s a Source #
Constructors
Fields
Defined in State
Methods
(>>=) :: State s a -> (a -> State s b) -> State s b #
(>>) :: State s a -> State s b -> State s b #
return :: a -> State s a #
fmap :: (a -> b) -> State s a -> State s b #
(<$) :: a -> State s b -> State s a #
pure :: a -> State s a #
(<*>) :: State s (a -> b) -> State s a -> State s b #
liftA2 :: (a -> b -> c) -> State s a -> State s b -> State s c #
(*>) :: State s a -> State s b -> State s b #
(<*) :: State s a -> State s b -> State s a #
get :: State s s Source #
gets :: (s -> a) -> State s a Source #
put :: s -> State s () Source #
modify :: (s -> s) -> State s () Source #
evalState :: State s a -> s -> a Source #
execState :: State s a -> s -> s Source #
runState :: State s a -> s -> (a, s) Source #