Uni-directional coercions, or representational subtyping relations.
This is not an officially supported Google product.
This package provides
Attenuations, which act as uni-directional coercions, or
representational subtyping relations.
Coercions, these can be used directly to coerce between their type
parameters at zero runtime cost, or lifted to operate over "larger" types.
Coercions, these can be used only in one direction, from a "weaker"
type to a "stronger" type. Accordingly, they have additional restrictions on
lifting through type constructors: they must respect the variance (covariance or
contravariance) of the type being lifted. Lifting an
lets you coerce from, e.g.,
[Fin n] -> [Int], but not vice versa; while
lifting contravariantly lets you coerce from e.g.
Op Bool Int -> Op Bool (Fin n), but not vice versa.