Data.Parameterized.Axiom

An unsafe module that provides functionality for constructing equality proofs that GHC cannot prove on its own.

Documentation

unsafeAxiom :: forall a b. a :~: b

Assert a proof of equality between two types. This is unsafe if used improperly, so use this with caution!

unsafeHeteroAxiom :: forall a b. a :~~: b

Assert a proof of heterogeneous equality between two types. This is unsafe if used improperly, so use this with caution!