ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

OptCoercion

Synopsis

Documentation

optCoercion :: CvSubst -> Coercion -> NormalCoSource

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

checkAxInstCo :: Coercion -> Maybe CoAxBranchSource

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