Copyright | Guillaume Sabbagh 2022 |
---|---|
License | GPL-3 |
Maintainer | guillaumesabbagh@protonmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Documentation
Objects of the V
category.
Instances
PrettyPrint VOb Source # | |
Defined in Math.FiniteCategories.V | |
Simplifiable VOb Source # | |
Defined in Math.FiniteCategories.V | |
Generic VOb Source # | |
Show VOb Source # | |
Eq VOb Source # | |
Morphism VAr VOb Source # | |
Category V VAr VOb Source # | |
FiniteCategory V VAr VOb Source # | |
type Rep VOb Source # | |
Defined in Math.FiniteCategories.V type Rep VOb = D1 ('MetaData "VOb" "Math.FiniteCategories.V" "FiniteCategories-0.6.5.0-inplace" 'False) (C1 ('MetaCons "VA" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VC" 'PrefixI 'False) (U1 :: Type -> Type))) |
Morphisms of the V
category.
Instances
PrettyPrint VAr Source # | |
Defined in Math.FiniteCategories.V | |
Simplifiable VAr Source # | |
Defined in Math.FiniteCategories.V | |
Generic VAr Source # | |
Show VAr Source # | |
Eq VAr Source # | |
Morphism VAr VOb Source # | |
Category V VAr VOb Source # | |
FiniteCategory V VAr VOb Source # | |
type Rep VAr Source # | |
Defined in Math.FiniteCategories.V type Rep VAr = D1 ('MetaData "VAr" "Math.FiniteCategories.V" "FiniteCategories-0.6.5.0-inplace" 'False) ((C1 ('MetaCons "VIdA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VIdB" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "VIdC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VF" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VG" 'PrefixI 'False) (U1 :: Type -> Type)))) |
The V
category.
Instances
PrettyPrint V Source # | |
Defined in Math.FiniteCategories.V | |
Simplifiable V Source # | |
Defined in Math.FiniteCategories.V | |
Generic V Source # | |
Show V Source # | |
Eq V Source # | |
Category V VAr VOb Source # | |
FiniteCategory V VAr VOb Source # | |
type Rep V Source # | |
Defined in Math.FiniteCategories.V type Rep V = D1 ('MetaData "V" "Math.FiniteCategories.V" "FiniteCategories-0.6.5.0-inplace" 'False) (C1 ('MetaCons "V" 'PrefixI 'False) (U1 :: Type -> Type)) |