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

Safe HaskellUnsafe
LanguageHaskell98

Type.Eq.Higher.Unsafe

Synopsis

Documentation

module Type.Eq.Unsafe

unsafeCoercion1 :: f ::~:: g Source

Very unsafe! The same rules apply as for unsafeCoerce.

unsafeCoercion2 :: m :::~::: n Source

Very unsafe! The same rules apply as for unsafeCoerce.

unsafeOuterEq1 :: OuterEq1 m f Source

Very unsafe!

unsafeInnerEq1 :: InnerEq1 a f Source

Very unsafe!