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]


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

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS], 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.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
Author Lennart Augustsson <>
Maintainer Andrew Pritchard <>
Revised Revision 4 made by AndrewPritchard at 2022-09-25T05:21:39Z
Category Data
Home page
Bug tracker
Source repo head: git clone
Uploaded by AndrewPritchard at 2021-10-11T03:49:22Z
Distributions NixOS:0.2.0
Reverse Dependencies 4 direct, 1 indirect [details]
Downloads 266 total (8 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-10-11 [all 1 reports]

Readme for fin-int-0.2.0

[back to package description]


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