type-eq-0.5: Type equality evidence you can carry around

Safe HaskellUnsafe
LanguageHaskell98

Type.Eq.Unsafe

Description

This module is kind-polymorphic if PolyKinds are available (GHC 7.6+).

Synopsis

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!