compiler/typecheck/TcSplice.lhs-boot

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