fin
Nat and Fin: peano naturals and finite numbers
Version on this page: | 0.0.3 |
LTS Haskell 22.17: | 0.3@rev:2 |
Stackage Nightly 2024-04-19: | 0.3@rev:2 |
Latest on Hackage: | 0.3@rev:2 |
Maintained by Oleg.Grenrus
This version can be pinned in stack with:
fin-0.0.3@sha256:265dbb2ba5b8b206e5d3c3bba1cfd78ff18aba8c793acb3e03dde497cea68ecd,3492
Module documentation for 0.0.3
- Data
- Data.Fin
- Data.Fin.Enum
- Data.Nat
- Data.Type
- Data.Type.Nat
- Data.Type.Nat.LE
- Data.Type.Nat.LE.ReflStep
- Data.Type.Nat.LT
- Data.Type.Nat.LE
- Data.Type.Nat
- Data.Fin
Depends on 4 packages(full list with versions):
Used by 2 packages in nightly-2019-06-21(full list with versions):