The latest version of fin-int is 0.2.0.1-0.
fin-int
Version 0.2.0 revision 0 uploaded by AndrewPritchard.
Package meta
- Synopsis
- Finite sets of static size
- Description
This provides a newtype
Fincontaining anIntwith an invariant that its value is less than its type-levelNatbound. It aims to have low overhead compared toInts, 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 <awpr@google.com>
- Package URL
- n/a
- Stability
- n/a