Safe Haskell | Unsafe |
---|
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!