finite-typelits

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

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

LTS Haskell 24.38:0.2.1.0@rev:1
Stackage Nightly 2026-04-22: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:13bf2b80828eae2ab154048ba0257f979465f0c8daf5e70437afaf099a5bce41,1369

Module documentation for 0.2.1.0

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