optCoercion applies a substitution to a coercion, *and* optimises it to reduce its size
Moduleghc-9.10.3GHC2021
GHC.Core.Coercion.Opt
- 1 type
- 1 value
- Packageghc-9.10.3
- Exports2
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceOpt.hs
Coercion optimisation options
Constructors
OptCoercionOptsoptCoercionEnabled :: BoolEnable coercion optimisation (reduce its size)