blob: 6a75a1090ad28d7eb4849f125c2bc6035f68c4e6 (
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 TcType ( TcType, TcRhoType, BoxySigmaType, BoxyRhoType )
import TcRnTypes( TcM, TcId, InstOrigin )
tcPolyExpr ::
LHsExpr Name
-> BoxySigmaType
-> TcM (LHsExpr TcId)
tcMonoExpr, tcMonoExprNC ::
LHsExpr Name
-> BoxyRhoType
-> TcM (LHsExpr TcId)
tcInferRho, tcInferRhoNC ::
LHsExpr Name
-> TcM (LHsExpr TcId, TcRhoType)
tcSyntaxOp ::
InstOrigin
-> HsExpr Name
-> TcType
-> TcM (HsExpr TcId)
\end{code}
|
