| Safe Haskell | None |
|---|
OptCoercion
- optCoercion :: CvSubst -> Coercion -> NormalCo
Documentation
optCoercion :: CvSubst -> Coercion -> NormalCo
optCoercion applies a substitution to a coercion, *and* optimises it to reduce its size
ghc-7.6.3: The GHC API
| Safe Haskell | None |
|---|
OptCoercion
optCoercion :: CvSubst -> Coercion -> NormalCo
optCoercion applies a substitution to a coercion, *and* optimises it to reduce its size