Documentation

simplifyInfer :: Bool -> TcTyVarSet -> WantedConstraints -> TcM ([TcTyVar], [EvVar], TcEvBinds)Source

simplifySuperClass :: EvVar -> WantedConstraints -> TcM ()Source

simplifyDefault :: ThetaType -> TcM ()Source

simplifyDeriv :: CtOrigin -> [TyVar] -> ThetaType -> TcM ThetaTypeSource

simplifyBracket :: WantedConstraints -> TcM ()Source

simplifyRule :: RuleName -> [TcTyVar] -> WantedConstraints -> WantedConstraints -> TcM ([EvVar], TcEvBinds, TcEvBinds)Source

simplifyTop :: WantedConstraints -> TcM (Bag EvBind)Source

simplifyInteractive :: WantedConstraints -> TcM (Bag EvBind)Source