Documentation

tcPolyExpr :: LHsExpr Name -> TcSigmaType -> TcM (LHsExpr TcId) Source

tcPolyExprNC :: LHsExpr Name -> TcSigmaType -> TcM (LHsExpr TcId) Source

tcMonoExpr :: LHsExpr Name -> TcRhoType -> TcM (LHsExpr TcId) Source

tcMonoExprNC :: LHsExpr Name -> TcRhoType -> TcM (LHsExpr TcId) Source

tcInferRho :: LHsExpr Name -> TcM (LHsExpr TcId, TcRhoType) Source

tcInferRhoNC :: LHsExpr Name -> TcM (LHsExpr TcId, TcRhoType) Source

tcSyntaxOp :: CtOrigin -> HsExpr Name -> TcType -> TcM (HsExpr TcId) Source

tcCheckId :: Name -> TcRhoType -> TcM (HsExpr TcId) Source

addExprErrCtxt :: LHsExpr Name -> TcM a -> TcM a Source