Documentation

tcSpliceExpr :: HsSplice Name -> TcRhoType -> TcM (HsExpr TcId) Source

tcTypedBracket :: HsBracket Name -> TcRhoType -> TcM (HsExpr TcId) Source

tcUntypedBracket :: HsBracket Name -> [PendingRnSplice] -> TcRhoType -> TcM (HsExpr TcId) Source

runQuasiQuoteExpr :: HsQuasiQuote RdrName -> RnM (LHsExpr RdrName) Source

runQuasiQuotePat :: HsQuasiQuote RdrName -> RnM (LPat RdrName) Source

runQuasiQuoteDecl :: HsQuasiQuote RdrName -> RnM [LHsDecl RdrName] Source

runQuasiQuoteType :: HsQuasiQuote RdrName -> RnM (LHsType RdrName) Source

runAnnotation :: CoreAnnTarget -> LHsExpr Name -> TcM Annotation Source

runMetaE :: LHsExpr Id -> TcM (LHsExpr RdrName) Source

runMetaP :: LHsExpr Id -> TcM (LPat RdrName) Source

runMetaT :: LHsExpr Id -> TcM (LHsType RdrName) Source

runMetaD :: LHsExpr Id -> TcM [LHsDecl RdrName] Source

runQuasi :: Q a -> TcM a Source

tcTopSpliceExpr :: Bool -> TcM (LHsExpr Id) -> TcM (LHsExpr Id) Source

lookupThName_maybe :: Name -> TcM (Maybe Name) Source

defaultRunMeta :: MetaHook TcM Source

runMeta' :: Bool -> (hs_syn -> SDoc) -> (SrcSpan -> x -> TcM (Either MsgDoc hs_syn)) -> LHsExpr Id -> TcM hs_syn Source