fin-int

Version 0.2.0.1 revision 0 uploaded 2023-03-13T00:09:19.000Z by AndrewPritchard.

Package meta

Synopsis

Finite sets of static size

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/awpr/fin-vec/issues

Category

Data

Copyright

2017-2021 Google LLC; 2022 Andrew Pritchard

Homepage

https://github.com/awpr/fin-vec#readme

Maintainer

Andrew Pritchard <awpritchard@gmail.com>

Package URL

n/a

Stability

n/a

Components

• lib:fin-int