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

Safe HaskellUnsafe

Type.Eq.Higher.Unsafe

Synopsis

Documentation

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!