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

Modules

• Data
  Submodules

  • Data.Finite
    Submodules

    • Data.Finite.Internal