| Safe Haskell | Unsafe |
|---|
Type.Eq.Higher.Unsafe
- module Type.Eq.Unsafe
- unsafeCoercion1 :: f ::~:: g
- unsafeCoercion2 :: m :::~::: n
Documentation
module Type.Eq.Unsafe
unsafeCoercion1 :: f ::~:: gSource
Very unsafe! The same rules apply as for unsafeCoerce.
unsafeCoercion2 :: m :::~::: nSource
Very unsafe! The same rules apply as for unsafeCoerce.