-__interface TcExpr 1 0 where
-__export TcExpr tcExpr ;
-1 tcExpr ::
- RnHsSyn.RenamedHsExpr
+module TcExpr where
+
+tcCheckSigma ::
+ HsExpr.LHsExpr Name.Name
-> TcType.TcType
- -> TcMonad.TcM (TcHsSyn.TcExpr, Inst.LIE) ;
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcCheckRho ::
+ HsExpr.LHsExpr Name.Name
+ -> TcType.TcType
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcInferRho ::
+ HsExpr.LHsExpr Name.Name
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id, TcType.TcType)
+
+tcMonoExpr ::
+ HsExpr.LHsExpr Name.Name
+ -> TcType.Expected TcType.TcType
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)