| ||||
| ||||
Documentation | ||||
tcPolyExpr :: LHsExpr Name -> BoxySigmaType -> TcM (LHsExpr TcId) | ||||
tcPolyExprNC :: LHsExpr Name -> BoxySigmaType -> TcM (LHsExpr TcId) | ||||
tcMonoExpr :: LHsExpr Name -> BoxyRhoType -> TcM (LHsExpr TcId) | ||||
tcMonoExprNC :: LHsExpr Name -> BoxyRhoType -> TcM (LHsExpr TcId) | ||||
tcInferRho :: LHsExpr Name -> TcM (LHsExpr TcId, TcRhoType) | ||||
tcInferRhoNC :: LHsExpr Name -> TcM (LHsExpr TcId, TcRhoType) | ||||
tcSyntaxOp :: InstOrigin -> HsExpr Name -> TcType -> TcM (HsExpr TcId) | ||||
addExprErrCtxt :: OutputableBndr id => LHsExpr id -> TcM a -> TcM a | ||||
Produced by Haddock version 2.7.2 |