Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
module Control.Arrow.State.Class
newtype StateT s r a b Source #
(Arrow r, ArrowTransformer xT, Arrow (xT (StateT s r))) => ArrowState s (xT (StateT s r)) Source # | |
Arrow r => ArrowState s (StateT s r) Source # | |
ArrowTransformer (StateT s) Source # | |
Category * r => Category * (StateT s r) Source # | |
Arrow r => Arrow (StateT s r) Source # | |
ArrowZero r => ArrowZero (StateT s r) Source # | |
ArrowPlus r => ArrowPlus (StateT s r) Source # | |
ArrowChoice r => ArrowChoice (StateT s r) Source # | |
ArrowApply r => ArrowApply (StateT s r) Source # | |
ArrowLoop r => ArrowLoop (StateT s r) Source # | |