Copyright | Guillaume Sabbagh 2022 |
---|---|
License | GPL-3 |
Maintainer | guillaumesabbagh@protonmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
The Square
category contains 4 generating arrows forming a square. It has 6 non identity arrows.
Documentation
Objects of the Square
category.
Instances
PrettyPrint SquareOb Source # | |
Defined in Math.FiniteCategories.Square | |
Simplifiable SquareOb Source # | |
Defined in Math.FiniteCategories.Square | |
Generic SquareOb Source # | |
Show SquareOb Source # | |
Eq SquareOb Source # | |
Morphism SquareAr SquareOb Source # | |
Category Square SquareAr SquareOb Source # | |
FiniteCategory Square SquareAr SquareOb Source # | |
type Rep SquareOb Source # | |
Defined in Math.FiniteCategories.Square type Rep SquareOb = D1 ('MetaData "SquareOb" "Math.FiniteCategories.Square" "FiniteCategories-0.6.5.0-inplace" 'False) ((C1 ('MetaCons "SquareA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SquareB" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SquareC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SquareD" 'PrefixI 'False) (U1 :: Type -> Type))) |
Morphisms of the Square
category.
Instances
PrettyPrint SquareAr Source # | |
Defined in Math.FiniteCategories.Square | |
Simplifiable SquareAr Source # | |
Defined in Math.FiniteCategories.Square | |
Generic SquareAr Source # | |
Show SquareAr Source # | |
Eq SquareAr Source # | |
Morphism SquareAr SquareOb Source # | |
Category Square SquareAr SquareOb Source # | |
FiniteCategory Square SquareAr SquareOb Source # | |
type Rep SquareAr Source # | |
Defined in Math.FiniteCategories.Square type Rep SquareAr = D1 ('MetaData "SquareAr" "Math.FiniteCategories.Square" "FiniteCategories-0.6.5.0-inplace" 'False) (((C1 ('MetaCons "SquareIdA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SquareIdB" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SquareIdC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SquareIdD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SquareF" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "SquareG" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SquareH" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SquareI" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SquareFH" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SquareGI" 'PrefixI 'False) (U1 :: Type -> Type))))) |
The Square
category.
Instances
PrettyPrint Square Source # | |
Defined in Math.FiniteCategories.Square | |
Simplifiable Square Source # | |
Defined in Math.FiniteCategories.Square | |
Generic Square Source # | |
Show Square Source # | |
Eq Square Source # | |
Category Square SquareAr SquareOb Source # | |
FiniteCategory Square SquareAr SquareOb Source # | |
type Rep Square Source # | |
Defined in Math.FiniteCategories.Square type Rep Square = D1 ('MetaData "Square" "Math.FiniteCategories.Square" "FiniteCategories-0.6.5.0-inplace" 'False) (C1 ('MetaCons "Square" 'PrefixI 'False) (U1 :: Type -> Type)) |