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.2.1.0@rev:1
LTS Haskell 24.39:0.2.1.0@rev:2
Stackage Nightly 2026-05-06:0.2.1.0@rev:2
Latest on Hackage:0.2.1.0@rev:2

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.2.1.0@sha256:1bd2df3c0bf6892be8e9df512e86cad5ca2e0ba817a0645d146952d8f6efc7a4,1369

Module documentation for 0.2.1.0

Used by 5 packages in nightly-2026-03-18(full list with versions):
advent-of-code-api, emd, inf-backprop, poly, vector-sized

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