invertible-0.2.0.5: bidirectional arrows, bijective functions, and invariant functors

Data.Invertible.Coerce

Description

Bidirectional version of Data.Coerce.

Synopsis

Documentation

coerce :: (Coercible a b, Coercible b a) => a <-> b Source #

Safely coerce between values of types that have the same representation.