Documentation

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

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

tcInferRho, 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 aSource