ghc-lib-parser-8.10.5.20210606: The GHC API, decoupled from GHC versions
Safe HaskellNone
LanguageHaskell2010

OptCoercion

Synopsis

Documentation

optCoercion :: DynFlags -> TCvSubst -> Coercion -> NormalCo Source #

optCoercion applies a substitution to a coercion, *and* optimises it to reduce its size

checkAxInstCo :: Coercion -> Maybe CoAxBranch Source #

Check to make sure that an AxInstCo is internally consistent. Returns the conflicting branch, if it exists See Note [Conflict checking with AxiomInstCo]