module TcExpr where
-tcCheckSigma ::
- RnHsSyn.RenamedHsExpr
- -> TcType.TcType
- -> TcRnTypes.TcM TcHsSyn.TcExpr
-
-tcCheckRho ::
- RnHsSyn.RenamedHsExpr
- -> TcType.TcType
- -> TcRnTypes.TcM TcHsSyn.TcExpr
+tcPolyExpr ::
+ HsExpr.LHsExpr Name.Name
+ -> TcType.BoxySigmaType
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
tcMonoExpr ::
- RnHsSyn.RenamedHsExpr
- -> TcUnify.Expected TcType.TcType
- -> TcRnTypes.TcM TcHsSyn.TcExpr
+ HsExpr.LHsExpr Name.Name
+ -> TcType.BoxyRhoType
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcInferRho ::
+ HsExpr.LHsExpr Name.Name
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id, TcType.TcType)
+
+tcSyntaxOp ::
+ TcRnTypes.InstOrigin
+ -> HsExpr.HsExpr Name.Name
+ -> TcType.TcType
+ -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)