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.3.0 |
LTS Haskell 23.19: | 0.2.1.0 |
Stackage Nightly 2025-04-24: | 0.2.1.0@rev:1 |
Latest on Hackage: | 0.2.1.0@rev:1 |
Maintained by [email protected]
This version can be pinned in stack with:
finite-typelits-0.1.3.0@sha256:15caeee4b479101c4e44405d0098300df219eb35ad2cbc74569ad1ccfb78ee47,720
Module documentation for 0.1.3.0
Depends on 2 packages(full list with versions):
Used by 1 package in lts-9.21(full list with versions):