Safe Haskell | Unsafe |
---|---|
Language | Haskell98 |
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 :~: b Source
Very unsafe! The same rules apply as for unsafeCoerce
.
unsafeOuterEq :: OuterEq f a Source
Very unsafe!
unsafeInnerEq :: InnerEq i a Source
Very unsafe!