compiler/typecheck/TcSplice.lhs-boot

   1 \begin{code}
   2 module TcSplice where
   3 import HsSyn    ( HsSplice, HsBracket, HsExpr, LHsExpr, LHsDecl )
   4 import Name     ( Name )
   5 import RdrName  ( RdrName )
   6 import TcRnTypes( TcM, TcId )
   7 import TcType   ( BoxyRhoType )
   8
   9 tcSpliceExpr :: HsSplice Name
  10              -> BoxyRhoType
  11              -> TcM (HsExpr TcId)
  12
  13 tcBracket :: HsBracket Name
  14           -> BoxyRhoType
  15           -> TcM (LHsExpr TcId)
  16
  17 tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName]
  18 \end{code}