3 import HsSyn ( HsSplice, HsBracket, HsQuasiQuote,
4 HsExpr, HsType, LHsExpr, LPat, LHsDecl )
6 import RdrName ( RdrName )
7 import TcRnTypes( TcM, TcId )
8 import TcType ( BoxyRhoType, TcKind )
9 import Annotations ( Annotation, CoreAnnTarget )
10 import qualified Language.Haskell.TH as TH
12 tcSpliceExpr :: HsSplice Name
16 kcSpliceType :: HsSplice Name
17 -> TcM (HsType Name, TcKind)
19 tcBracket :: HsBracket Name
23 tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName]
25 lookupThName_maybe :: TH.Name -> TcM (Maybe Name)
27 runQuasiQuoteExpr :: HsQuasiQuote Name.Name -> TcM (LHsExpr RdrName)
28 runQuasiQuotePat :: HsQuasiQuote Name -> TcM (LPat RdrName)
29 runAnnotation :: CoreAnnTarget -> LHsExpr Name -> TcM Annotation