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