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

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

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

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

runMetaE :: LHsExpr GhcTc -> TcM (LHsExpr GhcPs) Source #

runMetaP :: LHsExpr GhcTc -> TcM (LPat GhcPs) Source #

runMetaT :: LHsExpr GhcTc -> TcM (LHsType GhcPs) Source #

runMetaD :: LHsExpr GhcTc -> TcM [LHsDecl GhcPs] Source #

runQuasi :: Q a -> TcM a Source #

tcTopSpliceExpr :: SpliceType -> TcM (LHsExpr GhcTc) -> TcM (LHsExpr GhcTc) Source #

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

defaultRunMeta :: MetaHook TcM Source #

runMeta' :: Bool -> (hs_syn -> SDoc) -> (SrcSpan -> ForeignHValue -> TcM (Either MsgDoc hs_syn)) -> LHsExpr GhcTc -> TcM hs_syn Source #

runRemoteModFinalizers :: ThModFinalizers -> TcM () Source #

finishTH :: TcM () Source #

Releases the external interpreter state.

Orphan instances

Quasi TcM Source #

Instance details

Methods

qNewName :: String -> TcM Name #

qReport :: Bool -> String -> TcM () #

qRecover :: TcM a -> TcM a -> TcM a #

qLookupName :: Bool -> String -> TcM (Maybe Name) #

qReify :: Name -> TcM Info #

qReifyFixity :: Name -> TcM (Maybe Fixity) #

qReifyInstances :: Name -> [Type] -> TcM [Dec] #

qReifyRoles :: Name -> TcM [Role] #

qReifyAnnotations :: Data a => AnnLookup -> TcM [a] #

qReifyModule :: Module -> TcM ModuleInfo #

qReifyConStrictness :: Name -> TcM [DecidedStrictness] #

qLocation :: TcM Loc #

qRunIO :: IO a -> TcM a #

qAddDependentFile :: FilePath -> TcM () #

qAddTempFile :: String -> TcM FilePath #

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

qAddForeignFilePath :: ForeignSrcLang -> String -> TcM () #

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

qAddCorePlugin :: String -> TcM () #

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

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

qIsExtEnabled :: Extension -> TcM Bool #

qExtsEnabled :: TcM [Extension] #