Control.Arrow.Elision

Types

data Elision f a b

type Elision' f a

Elision manipulation functions

complete

complete'

elide

initial

simple

unelide

unelide'

Combining Interpreters

data Sum f g a

type a // b

(//)

left'

right'

(/>)

(</)

Reexports

apply