| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Data.Type.Coercion.Compat
- gcoerceWith :: Coercion k0 a b -> (Coercible k0 a b -> r) -> r
Documentation
gcoerceWith :: Coercion k0 a b -> (Coercible k0 a b -> r) -> r #
Generalized form of type-safe cast using representational equality
Since: 4.10.0.0