ghc-9.10.1: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Core.Coercion.Opt

Synopsis

Documentation

optCoercion :: OptCoercionOpts -> Subst -> Coercion -> NormalCo Source #

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

newtype OptCoercionOpts Source #

Coercion optimisation options

Constructors

OptCoercionOpts 

Fields