singleton-nats

Unary natural numbers relying on the singletons infrastructure.

https://github.com/AndrasKovacs/singleton-nats

Version on this page:0.4.1
LTS Haskell 22.39:0.4.7@rev:1
Stackage Nightly 2024-10-31:0.4.7@rev:1
Latest on Hackage:0.4.7@rev:1

See all snapshots singleton-nats appears in

BSD-3-Clause licensed by András Kovács
Maintained by [email protected]
This version can be pinned in stack with:singleton-nats-0.4.1@sha256:b56f6f7a6c0a131607159bf956c5edd6aef7ce8b6318de88935d746c6fd254ec,1265

Module documentation for 0.4.1

Depends on 2 packages(full list with versions):
Used by 1 package in lts-11.22(full list with versions):

singleton-nats

Hackage Build Status

Unary natural numbers relying on the singletons infrastructure.

Changes

0.4.1 [2018.05.02]

  • Add a Num Nat instance.
  • Implement signum in the PNum/SNum instances for Nat.
  • Define defunctionalization symbols for Lit.
  • Define someNatVal.

0.4.0.4 [2018.01.09]

  • Allow singletons-2.4.

0.4.0.3 [2017.11.03]

  • Allow singletons-2.3.