The latest version of fin-int is 0.2.0.1-0.
fin-int
Version 0.2.0 revision 3 uploaded by AndrewPritchard.
Package meta
- Synopsis
- Finite sets of static size
- Description
This provides a newtype
Fin
containing anInt
with an invariant that its value is less than its type-levelNat
bound. It aims to have low overhead compared toInt
s, and is suitable for use as the index type of length-indexed vectors.- Author
- Lennart Augustsson <lennart@augustsson.net>
- Bug reports
- https://github.com/google/hs-fin-vec/issues
- Category
- Data
- Copyright
- 2017-2021 Google LLC
- Homepage
- https://github.com/google/hs-fin-vec#readme
- Maintainer
- Andrew Pritchard <awpritchard@gmail.com>
- Package URL
- n/a
- Stability
- n/a