Control.Arrow.Elision

Types

data Elision f a b

type Elision' f a

Constructors

after

basic

before

elide

terminal

Manipulation

apply

complete

complete'

unelide

unelide'

Combining Interpreters

data Sum f g a

type a // b

(//)

left'

right'

(/>>)

(<</)

Arrow combinator re-exports

class Arrow a

class ArrowApply a

class ArrowChoice a

(***)

(&&&)

(|||)

(+++)

(<<<)

(<<^)

(^>>)

(>>^)

(^<<)