| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GHC.Core.Coercion.Opt
Synopsis
- optCoercion :: OptCoercionOpts -> Subst -> Coercion -> NormalCo
- newtype OptCoercionOpts = OptCoercionOpts {}
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
| |