compiler/typecheck/TcSplice.lhs-boot

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