Copyright | Guillaume Sabbagh 2022 |
---|---|
License | GPL-3 |
Maintainer | guillaumesabbagh@protonmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
The 1 category contains one object and its identity.
You can construct it using NumberCategory
, it is defined as a standalone category because it is often used unlike other number categories.
Documentation
One
is a datatype used as the object type, the morphism type and the category type of 1.
Instances
PrettyPrint One Source # | |
Defined in Math.FiniteCategories.One | |
Simplifiable One Source # | |
Defined in Math.FiniteCategories.One | |
Generic One Source # | |
Show One Source # | |
Eq One Source # | |
Morphism One One Source # | |
Category One One One Source # | |
FiniteCategory One One One Source # | |
type Rep One Source # | |
Defined in Math.FiniteCategories.One type Rep One = D1 ('MetaData "One" "Math.FiniteCategories.One" "FiniteCategories-0.6.0.0-inplace" 'False) (C1 ('MetaCons "One" 'PrefixI 'False) (U1 :: Type -> Type)) |