TcSplice

ghc-8.6.3: The GHC API

Safe Haskell | None
Language | Haskell2010

TcSplice

Contents

- Orphan instances

Synopsis

- tcSpliceExpr :: HsSplice GhcRn -> ExpRhoType -> TcM (HsExpr GhcTcId)
- tcTypedBracket :: HsExpr GhcRn -> HsBracket GhcRn -> ExpRhoType -> TcM (HsExpr GhcTcId)
- tcUntypedBracket :: HsExpr GhcRn -> HsBracket GhcRn -> [PendingRnSplice] -> ExpRhoType -> TcM (HsExpr GhcTcId)
- runAnnotation :: CoreAnnTarget -> LHsExpr GhcRn -> TcM Annotation
- 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 MsgDoc hs_syn)) -> LHsExpr GhcTc -> TcM hs_syn
- runRemoteModFinalizers :: ThModFinalizers -> TcM ()
- finishTH :: TcM ()

# Documentation

tcSpliceExpr :: HsSplice GhcRn -> ExpRhoType -> TcM (HsExpr GhcTcId) #

tcTypedBracket :: HsExpr GhcRn -> HsBracket GhcRn -> ExpRhoType -> TcM (HsExpr GhcTcId) #

tcUntypedBracket :: HsExpr GhcRn -> HsBracket GhcRn -> [PendingRnSplice] -> ExpRhoType -> TcM (HsExpr GhcTcId) #

runAnnotation :: CoreAnnTarget -> LHsExpr GhcRn -> TcM Annotation #

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 MsgDoc hs_syn)) -> LHsExpr GhcTc -> TcM hs_syn #

runRemoteModFinalizers :: ThModFinalizers -> TcM () #

finishTH :: TcM () #

Releases the external interpreter state.

# Orphan instances

Quasi TcM # |
Instance details Methods qNewName :: String -> TcM Name Source # qReport :: Bool -> String -> TcM () Source # qRecover :: TcM a -> TcM a -> TcM a Source # qLookupName :: Bool -> String -> TcM (Maybe Name) Source # qReify :: Name -> TcM Info Source # qReifyFixity :: Name -> TcM (Maybe Fixity) Source # qReifyInstances :: Name -> [Type] -> TcM [Dec] Source # qReifyRoles :: Name -> TcM [Role] Source # qReifyAnnotations :: Data a => AnnLookup -> TcM [a] Source # qReifyModule :: Module -> TcM ModuleInfo Source # qReifyConStrictness :: Name -> TcM [DecidedStrictness] Source # qLocation :: TcM Loc Source # qRunIO :: IO a -> TcM a Source # qAddDependentFile :: FilePath -> TcM () Source # qAddTempFile :: String -> TcM FilePath Source # qAddTopDecls :: [Dec] -> TcM () Source # qAddForeignFilePath :: ForeignSrcLang -> String -> TcM () Source # qAddModFinalizer :: Q () -> TcM () Source # qAddCorePlugin :: String -> TcM () Source # qGetQ :: Typeable a => TcM (Maybe a) Source # qPutQ :: Typeable a => a -> TcM () Source # qIsExtEnabled :: Extension -> TcM Bool Source # qExtsEnabled :: TcM [Extension] Source #