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.6.0@rev:2
LTS Haskell 24.18:0.2.1.0@rev:1
Stackage Nightly 2025-11-03: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.6.0@sha256:3a055e3a68ff66b4bf046424b21486c43ae25df003a2f61140cacd72e187ffa3,1128

Module documentation for 0.1.6.0

Depends on 2 packages(full list with versions):
base, deepseq
Used by 2 packages in lts-22.41(full list with versions):
poly, vector-sized

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