invertible-0.1: 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