GHC.Tc.Deriv.Infer

Functions for inferring (and simplifying) the context for derived instances.

Documentation

inferConstraints :: DerivSpecMechanism -> DerivM (ThetaSpec, [TyVar], [TcType], DerivSpecMechanism) Source #

simplifyInstanceContexts :: [DerivSpec ThetaSpec] -> TcM [DerivSpec ThetaType] Source #

inferConstraints
simplifyInstanceContexts