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]
Versions [RSS] [faq], 0.2.0 (info)
Change log
Dependencies attenuation (>=0.1 && <0.3), base (>=4.12 && <4.17), data-default-class (>=0.0 && <0.2), deepseq (>=1.1 && <1.5), portray (>=0.1 && <0.3), portray-diff (==0.1.*), QuickCheck (>=2.5 && <2.15), sint (>=0.1 && <0.3) [details]
License Apache-2.0
Copyright 2017-2021 Google LLC
Author Lennart Augustsson <>
Maintainer Andrew Pritchard <>
Revised Revision 2 made by AndrewPritchard at 2021-11-03T07:01:45Z
Category Data
Home page
Bug tracker
Source repo head: git clone
Uploaded by AndrewPritchard at 2021-10-11T03:49:22Z
Distributions NixOS:
Downloads 177 total (5 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2021-10-11 [all 1 reports]


[Index] [Quick Jump]


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


Readme for fin-int-0.2.0

[back to package description]


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