Safe Haskell | Safe-Infered |
---|
Documentation
class Arrow r => ArrowState s r | r -> s whereSource
(Arrow r, ArrowTransformer xT, Arrow (xT (StateT s r))) => ArrowState s (xT (StateT s r)) | |
Arrow r => ArrowState s (StateT s r) |
gets :: ArrowState s r => (s -> a) -> r () aSource
set :: ArrowState s r => (s -> s) -> r a aSource