| Safe Haskell | Unsafe |
|---|
Type.Eq.Unsafe
Description
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.
type-eq-0.1.2: Type equality evidence you can carry around
| Safe Haskell | Unsafe |
|---|
Type.Eq.Unsafe
Description
This module is kind-polymorphic if PolyKinds are available (GHC 7.6+).
unsafeCoercion :: a :~: bSource
Very unsafe! The same rules apply as for unsafeCoerce.