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
LTS Haskell 12.1:0.1.4.2
Stackage Nightly 2018-07-09:0.1.3.0
Latest on Hackage:0.1.4.2

See all snapshots finite-typelits appears in

BSD3 licensed by mniip
Maintained by mniip@mniip.com

Module documentation for 0.1.1.0

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

Depends on 2 packages:
Used by 2 packages:
comments powered byDisqus