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 Hat
category.
Instances
PrettyPrint HatOb Source # | |
Defined in Math.FiniteCategories.Hat | |
Simplifiable HatOb Source # | |
Defined in Math.FiniteCategories.Hat | |
Generic HatOb Source # | |
Show HatOb Source # | |
Eq HatOb Source # | |
Morphism HatAr HatOb Source # | |
Category Hat HatAr HatOb Source # | |
FiniteCategory Hat HatAr HatOb Source # | |
type Rep HatOb Source # | |
Defined in Math.FiniteCategories.Hat type Rep HatOb = D1 ('MetaData "HatOb" "Math.FiniteCategories.Hat" "FiniteCategories-0.6.4.0-inplace" 'False) (C1 ('MetaCons "HatA" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HatB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HatC" 'PrefixI 'False) (U1 :: Type -> Type))) |
Morphisms of the Hat
category.
Instances
PrettyPrint HatAr Source # | |
Defined in Math.FiniteCategories.Hat | |
Simplifiable HatAr Source # | |
Defined in Math.FiniteCategories.Hat | |
Generic HatAr Source # | |
Show HatAr Source # | |
Eq HatAr Source # | |
Morphism HatAr HatOb Source # | |
Category Hat HatAr HatOb Source # | |
FiniteCategory Hat HatAr HatOb Source # | |
type Rep HatAr Source # | |
Defined in Math.FiniteCategories.Hat type Rep HatAr = D1 ('MetaData "HatAr" "Math.FiniteCategories.Hat" "FiniteCategories-0.6.4.0-inplace" 'False) ((C1 ('MetaCons "HatIdA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HatIdB" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HatIdC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HatF" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HatG" 'PrefixI 'False) (U1 :: Type -> Type)))) |
The Hat category.
Instances
PrettyPrint Hat Source # | |
Defined in Math.FiniteCategories.Hat | |
Simplifiable Hat Source # | |
Defined in Math.FiniteCategories.Hat | |
Generic Hat Source # | |
Show Hat Source # | |
Eq Hat Source # | |
Category Hat HatAr HatOb Source # | |
FiniteCategory Hat HatAr HatOb Source # | |
type Rep Hat Source # | |
Defined in Math.FiniteCategories.Hat type Rep Hat = D1 ('MetaData "Hat" "Math.FiniteCategories.Hat" "FiniteCategories-0.6.4.0-inplace" 'False) (C1 ('MetaCons "Hat" 'PrefixI 'False) (U1 :: Type -> Type)) |