TcExpr.lhs-boot 545 Bytes
Newer Older
1
2
\begin{code}
module TcExpr where
3
import HsSyn	( HsExpr, LHsExpr )
4
import Name	( Name )
simonpj@microsoft.com's avatar
simonpj@microsoft.com committed
5
6
import TcType	( TcType, TcRhoType, BoxySigmaType, BoxyRhoType )
import TcRnTypes( TcM, TcId, InstOrigin )
7

8
tcPolyExpr :: 
9
	  LHsExpr Name
10
       -> BoxySigmaType
simonpj@microsoft.com's avatar
simonpj@microsoft.com committed
11
       -> TcM (LHsExpr TcId)
12

13
tcMonoExpr :: 
14
  	  LHsExpr Name
15
       -> BoxyRhoType
simonpj@microsoft.com's avatar
simonpj@microsoft.com committed
16
       -> TcM (LHsExpr TcId)
17
18
19

tcInferRho :: 
  	  LHsExpr Name
simonpj@microsoft.com's avatar
simonpj@microsoft.com committed
20
       -> TcM (LHsExpr TcId, TcRhoType)
21

22
23
24
25
tcSyntaxOp :: 
	  InstOrigin
       -> HsExpr Name
       -> TcType
simonpj@microsoft.com's avatar
simonpj@microsoft.com committed
26
       -> TcM (HsExpr TcId)
27
\end{code}