type-natural

Type-level natural and proofs of their properties.

https://github.com/konn/type-natural

Version on this page:	0.9.0.0
LTS Haskell 23.24:	1.3.0.2
Stackage Nightly 2025-06-15:	1.3.0.2
Latest on Hackage:	1.3.0.2

See all snapshots type-natural appears in

BSD-3-Clause licensed by Hiromi ISHII

Maintained by konn.jinro_at_gmail.com

This version can be pinned in stack with:type-natural-0.9.0.0@sha256:e9d1ed7f0e2d0f8d07bedf7a0e920ba553b1b86888877687f0aa42af5068a59e,2979

Module documentation for 0.9.0.0

Data
- Data.Type
  - Data.Type.Natural
    - Data.Type.Natural.Builtin
    - Data.Type.Natural.Class
      - Data.Type.Natural.Class.Arithmetic
      - Data.Type.Natural.Class.Order
  - Data.Type.Ordinal
    - Data.Type.Ordinal.Builtin
    - Data.Type.Ordinal.Peano

Depends on 8 packages(full list with versions):

base, constraints, equational-reasoning, ghc-typelits-natnormalise, ghc-typelits-presburger, singletons, singletons-presburger, template-haskell

Used by 1 package in nightly-2020-09-01(full list with versions):

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports GHC 8+ only.

Use 0.5.* with ~ GHC 7.10.3.