The latest version of attenuation is 0.2.0-5.
attenuation
Version 0.1.0.0 revision 1 uploaded by AndrewPritchard.
Package meta
- Synopsis
- Representational subtyping relations and variance roles.
- Description
This lets you coerce containers (among other things) from stronger types to weaker types with zero runtime cost when it's safe to do so, e.g.
[Fin n] -> [Int]. This primarily comes into play when using newtypes to impose additional invariants on existing types.- Author
- Andrew Pritchard <awpr@google.com>
- Bug reports
- https://github.com/google/hs-attenuation/issues
- Category
- Constraints
- Copyright
- 2020-2021 Google LLC
- Homepage
- https://github.com/google/hs-attenuation#readme
- Maintainer
- Andrew Pritchard <awpr@google.com>
- Package URL
- n/a
- Stability
- n/a