Control.Arrow.State.Class

Documentation

class Arrow r => ArrowState s r | r -> s where

Methods

get :: r () s

put :: r s ()

Instances

(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 () a

set :: ArrowState s r => (s -> s) -> r a a