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

Safe HaskellNone
LanguageHaskell2010

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.