Consider implementing safe indexing by `Fin n` for `V n`
Open
api-change
feature request
- Dominant language
- Haskell
- Stars
- 220
- Forks
- 55
- PR merge metrics
- No merged PRs in 30d
Description
`V n` can be safely indexed by a type with exactly `n` values, without the need for lenses, which index by an `Int`providing no compile-time guarantees on index bounds. An existing haskell implementation for types inhabited by `n` values is here: https://hackage.haskell.org/package/finite-typelits-0.1.2.0/docs/Data-Finite.html
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.