GHC.Core.Coercion.Opt
Documentation
optCoercion :: OptCoercionOpts -> 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]
newtype OptCoercionOpts Source #
Coercion optimisation options
Constructors
| OptCoercionOpts | |
Fields
| |