proarrow-0: Category theory with a central role for profunctors

Safe Haskell	None
Language	Haskell2010

Proarrow.Category.Instance.Hask

Synopsis

type Type = TYPE LiftedRep
type Hask = (->)

Documentation

type Type = TYPE LiftedRep Comments #

The kind of types with lifted values. For example Int :: Type.

type Hask = (->) Source Comments #