Copyright | (c) 2016 Justus Sagemüller |
---|---|
License | GPL v3 (see COPYING) |
Maintainer | (@) sagemueller $ geo.uni-koeln.de |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
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 Specific :: forall (k :: * -> * -> *) α β. CRCategory k => SpecificCat k α β -> k α β
- pattern Id :: forall (k :: * -> * -> *) α β. CRCategory k => ((~#) * * β α, Object k α) => k α β
- pattern (:<<<) :: forall (k :: * -> * -> *) α β. CRCategory k => forall β1. Object k β1 => k β1 β -> k α β1 -> k α β
- pattern (:>>>) :: forall (k :: * -> * -> *) α β. CRCategory k => forall β1. Object k β1 => k α β1 -> k β1 β -> k α β
- pattern Swap :: forall (k :: * -> * -> *) α β. CRCartesian k => forall α1 β1. ((~#) * * α (α1, β1), (~#) * * β (β1, α1), ObjectPair k α1 β1, ObjectPair k β1 α1) => k α β
- pattern AttachUnit :: forall (k :: * -> * -> *) α β. CRCartesian k => forall u. ((~#) * * β (α, u), Object k α, (~) * (UnitObject k) u, ObjectPair k α u) => k α β
- pattern DetachUnit :: forall (k :: * -> * -> *) α β. CRCartesian k => forall u. ((~#) * * α (β, u), Object k β, (~) * (UnitObject k) u, ObjectPair k β u) => k α β
- pattern Regroup :: forall (k :: * -> * -> *) α β. CRCartesian k => forall α1 β1 γ. ((~#) * * α (α1, (β1, γ)), (~#) * * β ((α1, β1), γ), ObjectPair k α1 β1, ObjectPair k β1 γ, ObjectPair k α1 (β1, γ), ObjectPair k (α1, β1) γ) => k α β
- pattern Regroup' :: forall (k :: * -> * -> *) α β. CRCartesian k => forall α1 β1 γ. ((~#) * * α ((α1, β1), γ), (~#) * * β (α1, (β1, γ)), ObjectPair k α1 β1, ObjectPair k β1 γ, ObjectPair k α1 (β1, γ), ObjectPair k (α1, β1) γ) => k α β
- pattern (:***) :: forall (k :: * -> * -> *) α β. CRMorphism k => forall α1 γ β1 δ. ((~#) * * α (α1, γ), (~#) * * β (β1, δ), ObjectPair k α1 γ, ObjectPair k β1 δ) => k α1 β1 -> k γ δ -> k α β
- pattern (:&&&) :: forall (k :: * -> * -> *) α β. CRPreArrow k => forall β1 γ. ((~#) * * β (β1, γ), Object k α, ObjectPair k β1 γ) => k α β1 -> k α γ -> k α β
- pattern Fst :: forall (k :: * -> * -> *) α β. CRPreArrow k => forall β1. ((~#) * * α (β, β1), ObjectPair k β β1) => k α β
- pattern Snd :: forall (k :: * -> * -> *) α β. CRPreArrow k => forall α1. ((~#) * * α (α1, β), ObjectPair k α1 β) => k α β
- pattern Terminal :: forall (k :: * -> * -> *) α β. CRPreArrow k => (Object k α, (~) * (UnitObject k) β) => k α β
- pattern Const :: forall (k :: * -> * -> *) α β. CRWellPointed k => (Object k α, Object k β) => β -> k α β
- class Category k => CRCategory k where
- type SpecificCat k :: * -> * -> *
- class CRCategory k => CRCartesian k where
- class CRCartesian k => CRMorphism k where
- class CRCartesian k => CRPreArrow k where
- class CRPreArrow k => CRWellPointed k where
Pattern synonyms (GHC>=7.10)
Category
pattern Specific :: forall (k :: * -> * -> *) α β. CRCategory k => SpecificCat k α β -> k α β Source #
pattern Id :: forall (k :: * -> * -> *) α β. CRCategory k => ((~#) * * β α, Object k α) => k α β Source #
pattern (:<<<) :: forall (k :: * -> * -> *) α β. CRCategory k => forall β1. Object k β1 => k β1 β -> k α β1 -> k α β infixr 1 Source #
pattern (:>>>) :: forall (k :: * -> * -> *) α β. CRCategory k => forall β1. Object k β1 => k α β1 -> k β1 β -> k α β infixr 1 Source #
Cartesian
pattern Swap :: forall (k :: * -> * -> *) α β. CRCartesian k => forall α1 β1. ((~#) * * α (α1, β1), (~#) * * β (β1, α1), ObjectPair k α1 β1, ObjectPair k β1 α1) => k α β Source #
pattern AttachUnit :: forall (k :: * -> * -> *) α β. CRCartesian k => forall u. ((~#) * * β (α, u), Object k α, (~) * (UnitObject k) u, ObjectPair k α u) => k α β Source #
pattern DetachUnit :: forall (k :: * -> * -> *) α β. CRCartesian k => forall u. ((~#) * * α (β, u), Object k β, (~) * (UnitObject k) u, ObjectPair k β u) => k α β Source #
pattern Regroup :: forall (k :: * -> * -> *) α β. CRCartesian k => forall α1 β1 γ. ((~#) * * α (α1, (β1, γ)), (~#) * * β ((α1, β1), γ), ObjectPair k α1 β1, ObjectPair k β1 γ, ObjectPair k α1 (β1, γ), ObjectPair k (α1, β1) γ) => k α β Source #
pattern Regroup' :: forall (k :: * -> * -> *) α β. CRCartesian k => forall α1 β1 γ. ((~#) * * α ((α1, β1), γ), (~#) * * β (α1, (β1, γ)), ObjectPair k α1 β1, ObjectPair k β1 γ, ObjectPair k α1 (β1, γ), ObjectPair k (α1, β1) γ) => k α β Source #
Morphism
pattern (:***) :: forall (k :: * -> * -> *) α β. CRMorphism k => forall α1 γ β1 δ. ((~#) * * α (α1, γ), (~#) * * β (β1, δ), ObjectPair k α1 γ, ObjectPair k β1 δ) => k α1 β1 -> k γ δ -> k α β infixr 3 Source #
Pre-arrow
pattern (:&&&) :: forall (k :: * -> * -> *) α β. CRPreArrow k => forall β1 γ. ((~#) * * β (β1, γ), Object k α, ObjectPair k β1 γ) => k α β1 -> k α γ -> k α β infixr 3 Source #
pattern Fst :: forall (k :: * -> * -> *) α β. CRPreArrow k => forall β1. ((~#) * * α (β, β1), ObjectPair k β β1) => k α β Source #
pattern Snd :: forall (k :: * -> * -> *) α β. CRPreArrow k => forall α1. ((~#) * * α (α1, β), ObjectPair k α1 β) => k α β Source #
pattern Terminal :: forall (k :: * -> * -> *) α β. CRPreArrow k => (Object k α, (~) * (UnitObject k) β) => k α β Source #
Well-pointed
pattern Const :: forall (k :: * -> * -> *) α β. CRWellPointed k => (Object k α, Object k β) => β -> k α β Source #
Deconstruction-classes
class Category k => CRCategory k where Source #
fromSpecific :: SpecificCat k α β -> k α β Source #
match_concrete :: k α β -> Maybe (SpecificCat k α β) Source #
match_id :: k α β -> IdPattern k α β Source #
match_compose :: k α β -> CompoPattern k α β Source #
WellPointed k => CRCategory (ReWellPointed k) Source # | |
PreArrow k => CRCategory (RePreArrow k) Source # | |
Morphism k => CRCategory (ReMorphism k) Source # | |
Cartesian k => CRCategory (ReCartesian k) Source # | |
Category k => CRCategory (ReCategory k) Source # | |
class CRCategory k => CRCartesian k where Source #
match_swap :: k α β -> SwapPattern k α β Source #
match_attachUnit :: k α β -> AttachUnitPattern k α β Source #
match_detachUnit :: k α β -> DetachUnitPattern k α β Source #
match_regroup :: k α β -> RegroupPattern k α β Source #
match_regroup' :: k α β -> Regroup'Pattern k α β Source #
WellPointed k => CRCartesian (ReWellPointed k) Source # | |
PreArrow k => CRCartesian (RePreArrow k) Source # | |
Morphism k => CRCartesian (ReMorphism k) Source # | |
Cartesian k => CRCartesian (ReCartesian k) Source # | |
class CRCartesian k => CRMorphism k where Source #
WellPointed k => CRMorphism (ReWellPointed k) Source # | |
PreArrow k => CRMorphism (RePreArrow k) Source # | |
Morphism k => CRMorphism (ReMorphism k) Source # | |
class CRCartesian k => CRPreArrow k where Source #
match_fan :: k α β -> FanPattern k α β Source #
match_fst :: k α β -> FstPattern k α β Source #
match_snd :: k α β -> SndPattern k α β Source #
match_terminal :: k α β -> TerminalPattern k α β Source #
WellPointed k => CRPreArrow (ReWellPointed k) Source # | |
PreArrow k => CRPreArrow (RePreArrow k) Source # | |
class CRPreArrow k => CRWellPointed k where Source #
match_const :: k α β -> ConstPattern k α β Source #
WellPointed k => CRWellPointed (ReWellPointed k) Source # | |