@hackage / finite-table

Types isomorphic to Fin, and Tables indexed by them.

Latest0.1.0.1

About

Metadata

  • Last updated , by AndrewPritchard
  • License Apache-2.0

  • Maintained by: Andrew Pritchard <awpritchard@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

This provides a class Finite for types isomorphic to some `Fin n`, and uses it to implement array-backed total maps (Tables) indexed by them.