compiler/typecheck/TcSplice.lhs-boot

   1 \begin{code}
   2 module TcSplice where
   3 import HsSyn    ( HsSplice, HsBracket, HsQuasiQuote,
   4                   HsExpr, LHsExpr, LPat, LHsDecl )
   5 import Name     ( Name )
   6 import RdrName  ( RdrName )
   7 import TcRnTypes( TcM, TcId )
   8 import TcType   ( BoxyRhoType )
   9 import Annotations ( Annotation, CoreAnnTarget )
  10 import qualified Language.Haskell.TH as TH
  11
  12 tcSpliceExpr :: HsSplice Name
  13              -> BoxyRhoType
  14              -> TcM (HsExpr TcId)
  15
  16 tcBracket :: HsBracket Name
  17           -> BoxyRhoType
  18           -> TcM (LHsExpr TcId)
  19
  20 tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName]
  21
  22 lookupThName_maybe :: TH.Name -> TcM (Maybe Name)
  23
  24 runQuasiQuoteExpr :: HsQuasiQuote Name.Name -> TcM (LHsExpr RdrName)
  25 runQuasiQuotePat  :: HsQuasiQuote Name -> TcM (LPat RdrName)
  26 runAnnotation     :: CoreAnnTarget -> LHsExpr Name -> TcM Annotation
  27 \end{code}