Agda.Utils.StrictState2
newtype State s t a Source #
Constructors
Fields
Defined in Agda.Utils.StrictState2
Methods
pure :: a -> State s t a #
(<*>) :: State s t (a -> b) -> State s t a -> State s t b #
liftA2 :: (a -> b -> c) -> State s t a -> State s t b -> State s t c #
(*>) :: State s t a -> State s t b -> State s t b #
(<*) :: State s t a -> State s t b -> State s t a #
fmap :: (a -> b) -> State s t a -> State s t b #
(<$) :: a -> State s t b -> State s t a #
(>>=) :: State s t a -> (a -> State s t b) -> State s t b #
(>>) :: State s t a -> State s t b -> State s t b #
return :: a -> State s t a #
put :: s -> t -> State s t () Source #
put1 :: s -> State s t () Source #
put2 :: t -> State s t () Source #
get :: State s t (s, t) Source #
get1 :: State s t s Source #
get2 :: State s t t Source #
gets :: ((s, t) -> a) -> State s t a Source #
modify :: ((s, t) -> (s, t)) -> State s t () Source #
modify1 :: (s -> s) -> State s t () Source #
modify2 :: (t -> t) -> State s t () Source #
execState :: State s t a -> (s, t) -> (s, t) Source #
runState :: State s t a -> (s, t) -> (a, (s, t)) Source #
evalState :: State s t a -> (s, t) -> a Source #