attenuation: Subtyping relations and variance roles
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.
Modules
[Index] [Quick Jump]
Downloads
- attenuation-0.2.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Versions [RSS] | 0.1.0.0, 0.2.0 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.12 && <4.17), constraints (>=0.10 && <0.14) [details] |
License | Apache-2.0 |
Copyright | 2020-2021 Google LLC |
Author | Andrew Pritchard <awpr@google.com> |
Maintainer | Andrew Pritchard <awpr@google.com> |
Revised | Revision 2 made by AndrewPritchard at 2021-11-03T06:35:50Z |
Category | Constraints |
Home page | https://github.com/google/hs-attenuation#readme |
Bug tracker | https://github.com/google/hs-attenuation/issues |
Source repo | head: git clone https://github.com/google/hs-attenuation(attenuation) |
Uploaded | by AndrewPritchard at 2021-10-11T01:43:34Z |
Distributions | NixOS:0.2.0 |
Downloads | 259 total (1 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2021-10-11 [all 1 reports] |