Safe Haskell | Unsafe |
---|
This module is kind-polymorphic if PolyKinds
are available (GHC 7.6+).
- unsafeCoercion :: a :~: b
Documentation
unsafeCoercion :: a :~: bSource
Very unsafe! The same rules apply as for unsafeCoerce
.
Safe Haskell | Unsafe |
---|
This module is kind-polymorphic if PolyKinds
are available (GHC 7.6+).
unsafeCoercion :: a :~: bSource
Very unsafe! The same rules apply as for unsafeCoerce
.