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 22.13:0.1.6.0@rev:2
Stackage Nightly 2024-03-14:0.1.6.0@rev:2
Latest on Hackage:0.1.6.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.1.1.0@sha256:4c5ae66b960dcede29688c32b9fb0d839a4bfb53bcde8e13f6a62b7f4fd55b4f,771

Module documentation for 0.1.1.0

Depends on 2 packages(full list with versions):
Used by 1 package in lts-8.5(full list with versions):

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