|
|
|
|
|
| Documentation |
|
| type State0 d s s' = d -> s -> s' |
|
| type State d s u s' = d -> s -> (u, s') |
|
| unitS :: u -> State d s u s |
|
| unitS0 :: State0 d s s |
|
| (>>>) :: State0 d a b -> State0 d b c -> State0 d a c |
|
| (=>>>) :: State d s (a -> b) s' -> State d s' a s'' -> State d s b s'' |
|
| (>>>=) :: State d s a s' -> (a -> State0 d s' s'') -> State0 d s s'' |
|
| (>=>) :: State d s d' s' -> State0 d' s' s'' -> State0 d s s'' |
|
| mapS :: (a -> State d s b s) -> [a] -> State d s [b] s |
|
| mapS0 :: (a -> State0 d s s) -> [a] -> State0 d s s |
|
| zipWithS :: (a -> b -> State d s c s) -> [a] -> [b] -> State d s [c] s |
|
| Produced by Haddock version 0.8 |
