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.4.2 |
LTS Haskell 22.24: | 0.1.6.0@rev:2 |
Stackage Nightly 2024-06-07: | 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.4.2@sha256:d243523297c0526d32e9b7de98e04b79a4227577ddb25d3fecd7981439de243c,720
Module documentation for 0.1.4.2
Depends on 2 packages(full list with versions):
Used by 5 packages in nightly-2022-02-26(full list with versions):