@hackage / attenuation

Subtyping relations and variance roles

Latest0.2.0

About

Metadata

  • Last updated , by AndrewPritchard
  • License Apache-2.0

  • Maintained by: Andrew Pritchard <awpritchard@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

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.