Control.Arrow

Arrows

class Arrow a
data Kleisli m a b

Derived combinators

Right-to-left variants

Monoid operations

class ArrowZero a
class ArrowPlus a

Conditionals

class ArrowChoice a

Arrow application

class ArrowApply a
data ArrowMonad a b

Feedback

class ArrowLoop a