ghc-7.0.3: The GHC API

TcExpr

# Documentation

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

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

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

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

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

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

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

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

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