| CARVIEW |
Select Language
HTTP/1.1 200 OK
Connection: keep-alive
Server: nginx/1.24.0 (Ubuntu)
Content-Type: text/html; charset=utf-8
Cache-Control: public, max-age=300
Content-Encoding: gzip
Via: 1.1 varnish, 1.1 varnish
Accept-Ranges: bytes
Age: 0
Date: Sat, 17 Jan 2026 12:06:12 GMT
X-Served-By: cache-dfw-kdal2120052-DFW, cache-bom-vanm7210086-BOM
X-Cache: MISS, MISS
X-Cache-Hits: 0, 0
X-Timer: S1768651573.521963,VS0,VE296
Vary: Accept, Accept-Encoding
transfer-encoding: chunked
finite-table: Types isomorphic to Fin, and Tables indexed by them.
finite-table: Types isomorphic to Fin, and Tables indexed by them.
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.
Downloads
- finite-table-0.1.0.1.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0, 0.1.0.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | 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), fin-int (>=0.1 && <0.3), indexed-traversable (>=0.1 && <0.2), lens (>=4.15 && <5.3), portray (>=0.1.1 && <0.4), portray-diff (>=0.1 && <0.2), short-vec (>=0.1 && <0.2), short-vec-lens (>=0.1 && <0.2), sint (>=0.1 && <0.3), wrapped (>=0.1 && <0.2) [details] |
| License | Apache-2.0 |
| Copyright | 2017-2021 Google LLC |
| Author | Andrew Pritchard <awpritchard@gmail.com> |
| Maintainer | Andrew Pritchard <awpritchard@gmail.com> |
| Uploaded | by AndrewPritchard at 2021-09-17T06:41:50Z |
| Revised | Revision 6 made by AndrewPritchard at 2023-03-13T01:14:21Z |
| Category | Data |
| Home page | https://github.com/awpr/fin-vec#readme |
| Bug tracker | https://github.com/awpr/fin-vec/issues |
| Source repo | head: git clone https://github.com/awpr/fin-vec(finite-table) |
| Distributions | |
| Downloads | 416 total (6 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating |
|
| Status | Docs available [build log] Last success reported on 2021-09-17 [all 1 reports] |