fin-int: Finite sets of static size

[ apache, data, library ] [ Propose Tags ]

This provides a newtype Fin containing an Int with an invariant that its value is less than its type-level Nat bound. It aims to have low overhead compared to Ints, and is suitable for use as the index type of length-indexed vectors.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.2.0, 0.2.0.1 (info)
Change log CHANGELOG.md
Dependencies attenuation (>=0.1 && <0.3), base (>=4.12 && <4.19), data-default-class (>=0.0 && <0.2), deepseq (>=1.1 && <1.5), portray (>=0.1 && <0.4), portray-diff (>=0.1 && <0.2), QuickCheck (>=2.5 && <2.15), sint (>=0.1 && <0.3) [details]
License Apache-2.0
Copyright 2017-2021 Google LLC; 2022 Andrew Pritchard
Author Lennart Augustsson <lennart@augustsson.net>
Maintainer Andrew Pritchard <awpritchard@gmail.com>
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(fin-int)
Uploaded by AndrewPritchard at 2023-03-13T00:09:19Z
Distributions
Reverse Dependencies 4 direct, 1 indirect [details]
Downloads 376 total (28 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-03-13 [all 1 reports]

Readme for fin-int-0.2.0.1

[back to package description]

fin-int

Implements size-indexed bounded natural number types as a newtype over Int.