finite-typelits-0.2.1.0: A type inhabited by finitely many values, indexed by type-level naturals

finite-typelits-0.2.1.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.2.1.0

Data
Submodules
- Data.Finite
  Submodules
  - Data.Finite.Integral
  - Data.Finite.Internal
    Submodules
    Data.Finite.Internal.Integral