The latest version of attenuation is 0.2.0-5.

attenuation

Version 0.2.0 revision 2 uploaded by AndrewPritchard.

Package meta

Synopsis
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

Components