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