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.22: | 0.1.6.0@rev:2 |
Stackage Nightly 2024-05-21: | 0.2.0.0 |
Latest on Hackage: | 0.2.0.0 |
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.7(full list with versions):