type-natural

Type-level natural and proofs of their properties.

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

LTS Haskell 24.28:1.3.0.2
Stackage Nightly 2026-01-18: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-1.3.0.2@sha256:bd4f8035246afbf26d0d991dfc735c7daef6360dbff3d0e2e427d2a786cbb14c,2849

Module documentation for 1.3.0.2

  • Data
    • Data.Type
      • Data.Type.Natural
        • Data.Type.Natural.Builtin
        • Data.Type.Natural.Lemma
          • Data.Type.Natural.Lemma.Arithmetic
          • Data.Type.Natural.Lemma.Order
        • Data.Type.Natural.Presburger
          • Data.Type.Natural.Presburger.MinMaxSolver
      • Data.Type.Ordinal
        • Data.Type.Ordinal.Builtin
Used by 1 package in nightly-2026-01-18(full list with versions):
sized

Type-level natural numbers and proofs of their properties.

Changes

Changelog

1.3.0.1

  • Supports GHC 9.8
  • Drops support for GHC <9

1.3.0.0

  • Supports GHC 9.6
  • Adds compatibility layer for SNat singleton provided since base 4.18