| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
TcSplice
Contents
- tcSpliceExpr :: HsSplice Name -> ExpRhoType -> TcM (HsExpr TcId)
- tcTypedBracket :: HsBracket Name -> ExpRhoType -> TcM (HsExpr TcId)
- tcUntypedBracket :: HsBracket Name -> [PendingRnSplice] -> ExpRhoType -> TcM (HsExpr TcId)
- runAnnotation :: CoreAnnTarget -> LHsExpr Name -> TcM Annotation
- runMetaE :: LHsExpr Id -> TcM (LHsExpr RdrName)
- runMetaP :: LHsExpr Id -> TcM (LPat RdrName)
- runMetaT :: LHsExpr Id -> TcM (LHsType RdrName)
- runMetaD :: LHsExpr Id -> TcM [LHsDecl RdrName]
- runQuasi :: Q a -> TcM a
- tcTopSpliceExpr :: SpliceType -> TcM (LHsExpr Id) -> TcM (LHsExpr Id)
- lookupThName_maybe :: Name -> TcM (Maybe Name)
- defaultRunMeta :: MetaHook TcM
- runMeta' :: Bool -> (hs_syn -> SDoc) -> (SrcSpan -> ForeignHValue -> TcM (Either MsgDoc hs_syn)) -> LHsExpr Id -> TcM hs_syn
- runRemoteModFinalizers :: ThModFinalizers -> TcM ()
- finishTH :: TcM ()
Documentation
tcSpliceExpr :: HsSplice Name -> ExpRhoType -> TcM (HsExpr TcId) #
tcTypedBracket :: HsBracket Name -> ExpRhoType -> TcM (HsExpr TcId) #
tcUntypedBracket :: HsBracket Name -> [PendingRnSplice] -> ExpRhoType -> TcM (HsExpr TcId) #
runAnnotation :: CoreAnnTarget -> LHsExpr Name -> TcM Annotation #
tcTopSpliceExpr :: SpliceType -> TcM (LHsExpr Id) -> TcM (LHsExpr Id) #
runMeta' :: Bool -> (hs_syn -> SDoc) -> (SrcSpan -> ForeignHValue -> TcM (Either MsgDoc hs_syn)) -> LHsExpr Id -> TcM hs_syn #
runRemoteModFinalizers :: ThModFinalizers -> TcM () #