| Safe Haskell | Unsafe |
|---|
Type.Eq.Unsafe
Description
This module is kind-polymorphic if PolyKinds are available (GHC 7.6+).
- unsafeCoercion :: a :~: b
- unsafeOuterEq :: OuterEq f a
- unsafeInnerEq :: InnerEq i a
Documentation
unsafeCoercion :: a :~: bSource
Very unsafe! The same rules apply as for unsafeCoerce.
unsafeOuterEq :: OuterEq f aSource
Very unsafe!
unsafeInnerEq :: InnerEq i aSource
Very unsafe!