\begin{code}
module TcSplice where
import HsSyn	( HsSplice, HsBracket, HsExpr, LHsExpr, HsType, LHsDecl )
import Name	( Name )
import RdrName	( RdrName )
import TcRnTypes( TcM, TcId )
import TcType	( TcKind, BoxyRhoType )

tcSpliceExpr :: HsSplice Name
	     -> BoxyRhoType
	     -> TcM (HsExpr TcId)

kcSpliceType :: HsSplice Name -> TcM (HsType Name, TcKind)

tcBracket :: HsBracket Name 
	  -> BoxyRhoType
	  -> TcM (LHsExpr TcId)

tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName]
\end{code}