invertible-0.2.0.3: bidirectional arrows, bijective functions, and invariant functors
Data.Invertible.Coerce
Description
Bidirectional version of Data.Coerce.
Synopsis
coerce :: (Coercible a b, Coercible b a) => a <-> b Source #
Safely coerce between values of types that have the same representation.
coerce