finite-typelits

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

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

LTS Haskell 23.1:0.2.1.0
Stackage Nightly 2024-12-21:0.2.1.0
Latest on Hackage:0.2.1.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.2.1.0@sha256:31d21eede99bbe10e4062f3329708744b4738b6594216266a398c8153e1d5b98,1319

Module documentation for 0.2.1.0

Used by 4 packages in nightly-2024-09-11(full list with versions):
advent-of-code-api, emd, poly, vector-sized

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