BSD-3-Clause licensed by András Kovács
Maintained by

Module documentation for 0.4.3

This version can be pinned in stack with:singleton-nats-0.4.3@sha256:121bdd4c644846b7ea3b8cb845ecd33866b3ade20c6d916f3bd764f7d9b0cf58,1293


Hackage Build Status

Unary natural numbers relying on the singletons infrastructure.


0.4.3 [2019.08.27]

  • Allow singletons-2.6.

0.4.2 [2018.09.18]

  • Allow singletons-2.5.

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. [2018.01.09]

  • Allow singletons-2.4. [2017.11.03]

  • Allow singletons-2.3.
Depends on 2 packages(full list with versions):
Used by 1 package in nightly-2019-11-29(full list with versions):
comments powered byDisqus