base-compat-0.9.3: A compatibility layer for base

Safe HaskellNone
LanguageHaskell98

Data.Type.Coercion.Compat

Synopsis

Documentation

gcoerceWith :: Coercion a b -> (Coercible a b => r) -> r Source #

Generalized form of type-safe cast using representational equality

Since: 4.10.0.0