finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals

https://github.com/mniip/finite-typelits

Version on this page:0.1.5.0
LTS Haskell 22.18:0.1.6.0@rev:2
Stackage Nightly 2024-04-27:0.2.0.0
Latest on Hackage:0.2.0.0

See all snapshots finite-typelits appears in

BSD-3-Clause licensed by mniip
Maintained by [email protected]
This version can be pinned in stack with:finite-typelits-0.1.5.0@sha256:9f3c7470e1231e1a52d0759a67c05f37d63e01d1289e1b9bcc847aebc51e770d,1085

Module documentation for 0.1.5.0

Depends on 2 packages(full list with versions):
base, deepseq
Used by 3 packages in nightly-2022-08-19(full list with versions):
advent-of-code-api, poly, vector-sized

A type inhabited by finitely many values, indexed by type-level naturals.