OptCoercion
- optCoercion :: TvSubst -> Coercion -> NormalCo
Documentation
optCoercion :: TvSubst -> Coercion -> NormalCoSource
optCoercion applies a substitution to a coercion, *and* optimises it to reduce its size
ghc-7.0.3: The GHC API
OptCoercion
optCoercion :: TvSubst -> Coercion -> NormalCoSource
optCoercion applies a substitution to a coercion, *and* optimises it to reduce its size