parameterized-utils-2.1.4.0: Classes and data structures for working with data-kind indexed types
Copyright(c) Galois Inc 2014-2021
Safe HaskellUnsafe
LanguageHaskell2010

Data.Parameterized.Axiom

Description

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

Synopsis

Documentation

unsafeAxiom :: forall a b. a :~: b Source #

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 Source #

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