Data.Invertible.Coerce
Description
Bidirectional version of Data.Coerce.
coerce :: (Coercible a b, Coercible b a) => a <-> b Source #
Safely coerce between values of types that have the same representation.
coerce