ghc-7.6.3: The GHC API

Safe Haskell | None

TcSimplify

# Documentation

simplifyInfer :: Bool -> Bool -> [(Name, TcTauType)] -> (Untouchables, WantedConstraints) -> TcM ([TcTyVar], [EvVar], Bool, TcEvBinds)

simplifyAmbiguityCheck :: Name -> WantedConstraints -> TcM (Bag EvBind)

simplifyDefault :: ThetaType -> TcM ()

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

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

simplifyTop :: WantedConstraints -> TcM (Bag EvBind)

simplifyInteractive :: WantedConstraints -> TcM (Bag EvBind)