Safe Haskell | Unsafe |
---|
- module Type.Eq.Unsafe
- unsafeCoercion1 :: f ::~:: g
- unsafeCoercion2 :: m :::~::: n
- unsafeOuterEq1 :: OuterEq1 m f
- unsafeInnerEq1 :: InnerEq1 a f
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
.
unsafeOuterEq1 :: OuterEq1 m fSource
Very unsafe!
unsafeInnerEq1 :: InnerEq1 a fSource
Very unsafe!