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