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.1.0@rev:1
LTS Haskell 23.22:0.2.1.0@rev:1
Stackage Nightly 2025-05-17: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.1.0@sha256:4c5ae66b960dcede29688c32b9fb0d839a4bfb53bcde8e13f6a62b7f4fd55b4f,771

Module documentation for 0.1.1.0

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

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