Version 0.1.0.0-1 of fin-int is deprecated.
The latest version of fin-int is 0.2.0.1-0.
fin-int
Version 0.1.0.0 revision 1 uploaded by AndrewPritchard.
Package meta
- Synopsis
- The type of finite sets with elements identified by the ordinals.
- Description
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.
- 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