Control.Category.Constrained.Reified.PolyPattern

Pattern synonyms (GHC>=7.10)

Category

Cartesian

Morphism

Pre-arrow

Well-pointed

Deconstruction-classes

class CRCategory k

class CRCartesian k

class CRMorphism k

class CRPreArrow k

class CRWellPointed k