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.0.1
LTS Haskell 23.24:0.2.1.0@rev:1
Stackage Nightly 2025-05-28: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.2.0.1@sha256:75aa9a40abe4450a78099e0cc853c058b6b0017bd06eada523fd612b3bc53cb9,1319

Module documentation for 0.2.0.1

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

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