| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
OptCoercion
- optCoercion :: CvSubst -> Coercion -> NormalCo
- checkAxInstCo :: Coercion -> Maybe CoAxBranch
Documentation
optCoercion :: CvSubst -> 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]