Data.Category.Functor

Cat

data Cat

data CatW

Functors

class Functor ftag

Functor instances

data Id k

data g :.: h

data Const c1 c2 x

type ConstF f

data Opposite f

data OpOp k

data OpOpInv k

Related to the product category

data Proj1 c1 c2

data Proj2 c1 c2

data f1 :***: f2

data DiagProd k

data Tuple1 c1 c2 a

type Swap c1 c2

swap

type Tuple2 c1 c2 a

tuple2

Hom functors

data Hom k

type x :*-: k

homX_

type k :-*: x

hom_X