3 import HsSyn ( HsSplice, HsBracket, HsQuasiQuote,
4 HsExpr, HsType, LHsType, LHsExpr, LPat, LHsDecl )
6 import NameSet ( FreeVars )
7 import RdrName ( RdrName )
8 import TcRnTypes( TcM, TcId )
9 import TcType ( TcRhoType, TcKind )
10 import Annotations ( Annotation, CoreAnnTarget )
11 import qualified Language.Haskell.TH as TH
13 tcSpliceExpr :: HsSplice Name
17 kcSpliceType :: HsSplice Name -> FreeVars
18 -> TcM (HsType Name, TcKind)
20 tcBracket :: HsBracket Name
24 tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName]
26 lookupThName_maybe :: TH.Name -> TcM (Maybe Name)
28 runQuasiQuoteDecl :: HsQuasiQuote RdrName -> TcM [LHsDecl RdrName]
29 runQuasiQuoteExpr :: HsQuasiQuote RdrName -> TcM (LHsExpr RdrName)
30 runQuasiQuoteType :: HsQuasiQuote RdrName -> TcM (LHsType RdrName)
31 runQuasiQuotePat :: HsQuasiQuote RdrName -> TcM (LPat RdrName)
32 runAnnotation :: CoreAnnTarget -> LHsExpr Name -> TcM Annotation