type-natural

Type-level natural and proofs of their properties.

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

Version on this page:	1.3.0.1@rev:1
LTS Haskell 22.43:	1.3.0.1@rev:1
Stackage Nightly 2025-01-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-1.3.0.1@sha256:957271fe3b4d20025c06a0c5481a4d5a300d3ac8157351ea716ed626b4b7f50c,2990

Module documentation for 1.3.0.1

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

Depends on 9 packages(full list with versions):

base, constraints, equational-reasoning, ghc, ghc-typelits-knownnat, ghc-typelits-natnormalise, ghc-typelits-presburger, integer-logarithms, template-haskell

Used by 1 package in lts-22.32(full list with versions):

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