finite-typelits-0.1.6.0: A type inhabited by finitely many values, indexed by type-level naturals
A type inhabited by finitely many values, indexed by type-level naturals.
Modules
finite-typelits-0.1.6.0
- Data
A type inhabited by finitely many values, indexed by type-level naturals.
Modules
finite-typelits-0.1.6.0