singleton-nats

Unary natural numbers relying on the singletons infrastructure.

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

LTS Haskell 20.10:	0.4.6@rev:1
Stackage Nightly 2023-02-06:	0.4.6@rev:1
Latest on Hackage:	0.4.6@rev:1

See all snapshots singleton-nats appears in

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

Maintained by puttamalac@gmail.com

This version can be pinned in stack with:singleton-nats-0.4.6@sha256:f27a58b07ce7636bf0e8a3213b2dbc7144db76cadd61c4ac02a8265aee20f575,1633

Module documentation for 0.4.6

Data
- Data.Nat

Depends on 3 packages(full list with versions):

base, singletons, singletons-base

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

singleton-nats

Unary natural numbers relying on the singletons infrastructure.

Changes

0.4.6 [2021.03.12]

Allow building with singletons-base.

0.4.5 [2020.04.11]

Remove the use of overlapping patterns in NatMinus.

0.4.4 [2020.03.25]

Allow singletons-2.7.

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.

0.4.0.4 [2018.01.09]

Allow singletons-2.4.

0.4.0.3 [2017.11.03]

Allow singletons-2.3.