Documentation

Methods

ask :: StateReader r r #

local :: (r -> r) -> StateReader r a -> StateReader r a #

reader :: (r -> a) -> StateReader r a #

Methods

(>>=) :: StateReader r a -> (a -> StateReader r b) -> StateReader r b #

(>>) :: StateReader r a -> StateReader r b -> StateReader r b #

return :: a -> StateReader r a #

fail :: String -> StateReader r a #

Methods

fmap :: (a -> b) -> StateReader r a -> StateReader r b #

(<$) :: a -> StateReader r b -> StateReader r a #

Methods

pure :: a -> StateReader r a #

(<*>) :: StateReader r (a -> b) -> StateReader r a -> StateReader r b #

liftA2 :: (a -> b -> c) -> StateReader r a -> StateReader r b -> StateReader r c #

(*>) :: StateReader r a -> StateReader r b -> StateReader r b #

(<*) :: StateReader r a -> StateReader r b -> StateReader r a #

Methods

writer :: (a, w) -> StateWriter w a #

tell :: w -> StateWriter w () #

listen :: StateWriter w a -> StateWriter w (a, w) #

pass :: StateWriter w (a, w -> w) -> StateWriter w a #

Methods

(>>=) :: StateWriter w a -> (a -> StateWriter w b) -> StateWriter w b #

(>>) :: StateWriter w a -> StateWriter w b -> StateWriter w b #

return :: a -> StateWriter w a #

fail :: String -> StateWriter w a #

Methods

fmap :: (a -> b) -> StateWriter w a -> StateWriter w b #

(<$) :: a -> StateWriter w b -> StateWriter w a #

Methods

pure :: a -> StateWriter w a #

(<*>) :: StateWriter w (a -> b) -> StateWriter w a -> StateWriter w b #

liftA2 :: (a -> b -> c) -> StateWriter w a -> StateWriter w b -> StateWriter w c #

(*>) :: StateWriter w a -> StateWriter w b -> StateWriter w b #

(<*) :: StateWriter w a -> StateWriter w b -> StateWriter w a #