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 18.0:0.1.4.2
Stackage Nightly 2021-06-20:0.1.4.2
Latest on Hackage:0.1.4.2

See all snapshots finite-typelits appears in

BSD-3-Clause licensed by mniip
Maintained by mniip@mniip.com
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):

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