@hackage finite-table0.1.0.1

Types isomorphic to Fin, and Tables indexed by them.

Categories
License
Apache-2.0
Maintainer
Andrew Pritchard <awpritchard@gmail.com>
Links
Versions
- 0.1.0.1 Mon, 13 Mar 2023
- 0.1.0.0 Wed, 3 Nov 2021

Installation
In your cabal file:
Dependencies (15)
- adjunctions >=4.4 && <4.5
- base >=4.12 && <4.19
- cereal >=0.5 && <0.6
- data-default-class >=0.0 && <0.2
- deepseq >=1.1 && <1.5
- distributive >=0.1 && <0.7
Dependents (0)

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.