blob: 1c4240dcc0d4802921922f86031792f96b651e62 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
\begin{code}
module TcExpr where
import HsSyn ( HsExpr, LHsExpr )
import Name ( Name )
import Var ( Id )
import TcType ( TcType, BoxySigmaType, BoxyRhoType )
import TcRnTypes( TcM, InstOrigin )
tcPolyExpr ::
LHsExpr Name
-> BoxySigmaType
-> TcM (LHsExpr Id)
tcMonoExpr ::
LHsExpr Name
-> BoxyRhoType
-> TcM (LHsExpr Id)
tcInferRho ::
LHsExpr Name
-> TcM (LHsExpr Id, TcType)
tcSyntaxOp ::
InstOrigin
-> HsExpr Name
-> TcType
-> TcM (HsExpr Id)
\end{code}
|
