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.4.2
LTS Haskell 24.1:0.2.1.0@rev:1
Stackage Nightly 2025-07-24:0.2.1.0@rev:1
Latest on Hackage:0.2.1.0@rev:1

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.4.2@sha256:d243523297c0526d32e9b7de98e04b79a4227577ddb25d3fecd7981439de243c,720

Module documentation for 0.1.4.2

Depends on 2 packages(full list with versions):
base, deepseq
Used by 5 packages in nightly-2019-02-08(full list with versions):
advent-of-code-api, bins, emd, hamilton, vector-sized

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