| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Tc.Deriv.Infer
Description
Functions for inferring (and simplifying) the context for derived instances.
Documentation
inferConstraints :: DerivSpecMechanism -> DerivEnv -> DerivM (ThetaSpec, [TyVar], [TcType], DerivSpecMechanism) Source #