ghc-8.2.2: The GHC API

Safe Haskell | None
Language | Haskell2010

TcSplice

Contents

- Orphan instances

Synopsis

- 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 #

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 () #

Releases the external interpreter state.

# Orphan instances

Quasi TcM # |

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 #

qAddTopDecls :: [Dec] -> TcM () Source #

qAddForeignFile :: ForeignSrcLang -> String -> TcM () Source #

qAddModFinalizer :: Q () -> TcM () Source #

qGetQ :: Typeable * a => TcM (Maybe a) Source #

qPutQ :: Typeable * a => a -> TcM () Source #

qIsExtEnabled :: Extension -> TcM Bool Source #

qExtsEnabled :: TcM [Extension] Source #