convert-1.5.1: Safe and unsafe data conversion utilities with strong type-level operation. checking.

Safe Haskell	None
Language	Haskell2010

Data.Convert.Coerce

Synopsis

unsafeCoerced :: Iso s t a b
coerced :: (Coercible s a, Coercible t b) => Iso s t a b

Documentation

unsafeCoerced :: Iso s t a b Source #

coerced :: (Coercible s a, Coercible t b) => Iso s t a b #

Data types that are representationally equal are isomorphic.

This is only available on GHC 7.8+

Since: lens-4.13