+++ /dev/null
-__interface TcExpr 1 0 where
-__export TcExpr tcCheckSigma tcCheckRho tcMonoExpr ;
-1 tcCheckSigma ::
- HsExpr.LHsExpr Name.Name
- -> TcType.TcType
- -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;
-
-1 tcCheckRho ::
- HsExpr.LHsExpr Name.Name
- -> TcType.TcType
- -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;
-
-1 tcMonoExpr ::
- HsExpr.LHsExpr Name.Name
- -> TcUnify.Expected TcType.TcType
- -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;