ghc-7.4.1: The GHC API

Safe HaskellSafe-Infered

OptCoercion

Synopsis

Documentation

optCoercion :: CvSubst -> Coercion -> NormalCoSource

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