Documentation
module Control.Arrow.State.Class
(Arrow r, ArrowTransformer xT, Arrow (xT (StateT s r))) => ArrowState s (xT (StateT s r)) | |
Arrow r => ArrowState s (StateT s r) | |
ArrowTransformer (StateT s) | |
Arrow r => Arrow (StateT s r) | |
ArrowApply r => ArrowApply (StateT s r) | |
Category r => Category (StateT s r) |