Safe Haskell | None |
---|
Documentation
simplifyInfer :: Bool -> Bool -> [(Name, TcTauType)] -> (Untouchables, WantedConstraints) -> TcM ([TcTyVar], [EvVar], Bool, TcEvBinds)Source
simplifyAmbiguityCheck :: Name -> WantedConstraints -> TcM (Bag EvBind)Source
simplifyDefault :: ThetaType -> TcM ()Source
simplifyRule :: RuleName -> WantedConstraints -> WantedConstraints -> TcM ([EvVar], WantedConstraints)Source
simplifyTop :: WantedConstraints -> TcM (Bag EvBind)Source