Control.Arrow

Arrows

class Arrow a

data Kleisli m a b

Derived combinators

returnA

(^>>)

(>>^)

(>>>)

(<<<)

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

leftApp

Feedback

class ArrowLoop a