TcSplice.lhs-boot 501 Bytes
Newer Older
1
2
3
4
5
\begin{code}
module TcSplice where
import HsSyn	( HsSplice, HsBracket, HsExpr, LHsExpr, HsType, LHsDecl )
import Name	( Name )
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
14
15

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

tcBracket :: HsBracket Name 
16
	  -> BoxyRhoType
17
	  -> TcM (LHsExpr TcId)
18
19
20

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