Control.Category.Constrained.Reified.PolyPattern

Pattern synonyms which allow you to deconstruct the various types in Control.Category.Constrained.Reified in a uniform way.

This kind of polymorphic pattern (with ViewPatterns) doesn't seem to work prior to GHC-7.10, so if you have base<4.8 these synonyms aren't available.

Pattern synonyms (GHC>=7.10)

Category

pattern Specific :: () => CRCategory k => SpecificCat k α β -> k α β

pattern Id :: ((~) * α β, Object k β) => CRCategory k => k α β

pattern (:<<<) :: Object k β => CRCategory k => k β β -> k α β -> k α β infixr 1

pattern (:>>>) :: Object k β => CRCategory k => k α β -> k β β -> k α β infixr 1

Cartesian

pattern Swap :: ((~) * α (α, β), (~) * β (β, α), ObjectPair k α β, ObjectPair k β α) => CRCartesian k => k α β

pattern AttachUnit :: ((~) * β (α, u), Object k α, (~) * (UnitObject k) u, ObjectPair k α u) => CRCartesian k => k α β

pattern DetachUnit :: ((~) * α (β, u), Object k β, (~) * (UnitObject k) u, ObjectPair k β u) => CRCartesian k => k α β

pattern Regroup :: ((~) * α (α, (β, γ)), (~) * β ((α, β), γ), ObjectPair k α β, ObjectPair k β γ, ObjectPair k α (β, γ), ObjectPair k (α, β) γ) => CRCartesian k => k α β

pattern Regroup' :: ((~) * α ((α, β), γ), (~) * β (α, (β, γ)), ObjectPair k α β, ObjectPair k β γ, ObjectPair k α (β, γ), ObjectPair k (α, β) γ) => CRCartesian k => k α β

Morphism

pattern (:***) :: ((~) * α (α, γ), (~) * β (β, δ), ObjectPair k α γ, ObjectPair k β δ) => CRMorphism k => k α β -> k γ δ -> k α β infixr 3

Pre-arrow

pattern (:&&&) :: ((~) * β (β, γ), Object k α, ObjectPair k β γ) => CRPreArrow k => k α β -> k α γ -> k α β infixr 3

pattern Fst :: ((~) * α (β, β), ObjectPair k β β) => CRPreArrow k => k α β

pattern Snd :: ((~) * α (α, β), ObjectPair k α β) => CRPreArrow k => k α β

pattern Terminal :: (Object k α, (~) * (UnitObject k) β) => CRPreArrow k => k α β

Well-pointed

pattern Const :: (Object k α, Object k β) => CRWellPointed k => β -> k α β

Deconstruction-classes

class Category k => CRCategory k where

Associated Types

type SpecificCat k :: * -> * -> *

Methods

fromSpecific :: SpecificCat k α β -> k α β

match_concrete :: k α β -> Maybe (SpecificCat k α β)

match_id :: k α β -> IdPattern k α β

match_compose :: k α β -> CompoPattern k α β

Instances

WellPointed k => CRCategory (ReWellPointed k)

PreArrow k => CRCategory (RePreArrow k)

Morphism k => CRCategory (ReMorphism k)

Cartesian k => CRCategory (ReCartesian k)

Category k => CRCategory (ReCategory k)

class CRCategory k => CRCartesian k where

Methods

match_swap :: k α β -> SwapPattern k α β

match_attachUnit :: k α β -> AttachUnitPattern k α β

match_detachUnit :: k α β -> DetachUnitPattern k α β

match_regroup :: k α β -> RegroupPattern k α β

match_regroup' :: k α β -> Regroup'Pattern k α β

Instances

WellPointed k => CRCartesian (ReWellPointed k)

PreArrow k => CRCartesian (RePreArrow k)

Morphism k => CRCartesian (ReMorphism k)

Cartesian k => CRCartesian (ReCartesian k)

class CRCartesian k => CRMorphism k where

Methods

match_par :: k α β -> ParPattern k α β

Instances

WellPointed k => CRMorphism (ReWellPointed k)

PreArrow k => CRMorphism (RePreArrow k)

Morphism k => CRMorphism (ReMorphism k)

class CRCartesian k => CRPreArrow k where

Methods

match_fan :: k α β -> FanPattern k α β

match_fst :: k α β -> FstPattern k α β

match_snd :: k α β -> SndPattern k α β

match_terminal :: k α β -> TerminalPattern k α β

Instances

WellPointed k => CRPreArrow (ReWellPointed k)

PreArrow k => CRPreArrow (RePreArrow k)

class CRPreArrow k => CRWellPointed k where

Methods

match_const :: k α β -> ConstPattern k α β

Instances

WellPointed k => CRWellPointed (ReWellPointed k)