type-natural

Type-level natural and proofs of their properties.

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

Version on this page:1.3.0.0
LTS Haskell 22.29:1.3.0.1@rev:1
Stackage Nightly 2024-07-13:1.3.0.1@rev:1
Latest on Hackage:1.3.0.1@rev:1

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.0@sha256:352191bb7ff5bd64efd2560661c781e386b88db888d453b60ab32cbadb6d4bdf,2885

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports GHC 8+ only.

Use 0.5.* with ~ GHC 7.10.3.

Changes

Changelog

1.3.0.0

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