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
  10 tcSpliceExpr :: HsSplice Name
  11              -> BoxyRhoType
  12              -> TcM (HsExpr TcId)
  13
  14 tcBracket :: HsBracket Name
  15           -> BoxyRhoType
  16           -> TcM (LHsExpr TcId)
  17
  18 tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName]
  19
  20 runQuasiQuoteExpr :: HsQuasiQuote Name.Name -> TcM (LHsExpr RdrName)
  21 runQuasiQuotePat  :: HsQuasiQuote Name -> TcM (LPat RdrName)
  22 \end{code}