| Copyright | Guillaume Sabbagh 2022 |
|---|---|
| License | GPL-3 |
| Maintainer | guillaumesabbagh@protonmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Math.FiniteCategories.NumberCategory.Examples
Description
Six examples of NumberCategory.
Synopsis
- exampleNumberCategory0 :: NumberCategory
- exampleNumberCategory1 :: NumberCategory
- exampleNumberCategory2 :: NumberCategory
- exampleNumberCategory3 :: NumberCategory
- exampleNumberCategory4 :: NumberCategory
- exampleNumberCategory5 :: NumberCategory
- exampleDiagramOfNumberCategory :: Diagram NumberCategory (IsSmallerThan Natural) Natural Omega (IsSmallerThan Natural) Natural
Documentation
exampleNumberCategory0 :: NumberCategory Source #
The category 0
exampleNumberCategory1 :: NumberCategory Source #
The category 1
exampleNumberCategory2 :: NumberCategory Source #
The category 2
exampleNumberCategory3 :: NumberCategory Source #
The category 3
exampleNumberCategory4 :: NumberCategory Source #
The category 4
exampleNumberCategory5 :: NumberCategory Source #
The category 5
exampleDiagramOfNumberCategory :: Diagram NumberCategory (IsSmallerThan Natural) Natural Omega (IsSmallerThan Natural) Natural Source #