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.2.0
LTS Haskell 15.14:0.1.4.2
Stackage Nightly 2020-05-26: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 [email protected]

Module documentation for 0.1.2.0

This version can be pinned in stack with:[email protected]:c9eb531478bc996c68802b47dae156dbd87eb1c23169aaaf27938818a70ce9c1,720

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

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