Safe Haskell | None |
---|---|
Language | GHC2021 |
Template Haskell splices
Synopsis
- tcTypedSplice :: Name -> LHsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc)
- tcTypedBracket :: HsExpr GhcRn -> LHsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc)
- tcUntypedBracket :: HsExpr GhcRn -> HsQuote GhcRn -> [PendingRnSplice] -> ExpRhoType -> TcM (HsExpr GhcTc)
- runAnnotation :: CoreAnnTarget -> LHsExpr GhcRn -> TcM Annotation
- getUntypedSpliceBody :: HsUntypedSpliceResult (HsExpr GhcRn) -> TcM (HsExpr GhcRn)
- runMetaE :: LHsExpr GhcTc -> TcM (LHsExpr GhcPs)
- runMetaP :: LHsExpr GhcTc -> TcM (LPat GhcPs)
- runMetaT :: LHsExpr GhcTc -> TcM (LHsType GhcPs)
- runMetaD :: LHsExpr GhcTc -> TcM [LHsDecl GhcPs]
- runQuasi :: Q a -> TcM a
- tcTopSpliceExpr :: SpliceType -> TcM (LHsExpr GhcTc) -> TcM (LHsExpr GhcTc)
- lookupThName_maybe :: Name -> TcM (Maybe Name)
- defaultRunMeta :: MetaHook TcM
- runMeta' :: Bool -> (hs_syn -> SDoc) -> (SrcSpan -> ForeignHValue -> TcM (Either RunSpliceFailReason hs_syn)) -> LHsExpr GhcTc -> TcM hs_syn
- runRemoteModFinalizers :: ThModFinalizers -> TcM ()
- finishTH :: TcM ()
- runTopSplice :: DelayedSplice -> TcM (HsExpr GhcTc)
Documentation
tcTypedSplice :: Name -> LHsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc) Source #
tcUntypedBracket :: HsExpr GhcRn -> HsQuote GhcRn -> [PendingRnSplice] -> ExpRhoType -> TcM (HsExpr GhcTc) Source #
runAnnotation :: CoreAnnTarget -> LHsExpr GhcRn -> TcM Annotation Source #
tcTopSpliceExpr :: SpliceType -> TcM (LHsExpr GhcTc) -> TcM (LHsExpr GhcTc) Source #
runMeta' :: Bool -> (hs_syn -> SDoc) -> (SrcSpan -> ForeignHValue -> TcM (Either RunSpliceFailReason hs_syn)) -> LHsExpr GhcTc -> TcM hs_syn Source #
runRemoteModFinalizers :: ThModFinalizers -> TcM () Source #
runTopSplice :: DelayedSplice -> TcM (HsExpr GhcTc) Source #