3 import HsSyn ( HsSplice, HsBracket, HsQuasiQuote,
4 HsExpr, HsType, LHsType, 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 runQuasiQuoteDecl :: HsQuasiQuote RdrName -> TcM [LHsDecl RdrName]
28 runQuasiQuoteExpr :: HsQuasiQuote RdrName -> TcM (LHsExpr RdrName)
29 runQuasiQuoteType :: HsQuasiQuote RdrName -> TcM (LHsType RdrName)
30 runQuasiQuotePat :: HsQuasiQuote RdrName -> TcM (LPat RdrName)
31 runAnnotation :: CoreAnnTarget -> LHsExpr Name -> TcM Annotation