Control.Compose

Value transformers

type Unop a
type Binop a

Specialized semantic editor combinators

Contravariant functors

class Cofunctor acc

Unary/unary composition

data (g :. f) a
type O

Type composition

Unary/binary

data OO f (~>) a b

(->)/unary

data FunA h a b
class FunAble h

Monoid constructors

class Monoid_f m

Flip a binary constructor's type arguments

data Flip (~>) b a
type OI
class ToOI sink

Type application

data f :$ a
type App

Identity

data Id a

Constructor pairing

Unary

data (f :*: g) a

Binary

data (f ::*:: g) a b

Arrow between two constructor applications

data Arrw (~>) f g a
type :->:

Augment other modules