projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
ec36034510abcca9dc00f4a3f0aa5751277e5578
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcExpr.lhs-boot
1
\begin{code}
2
module TcExpr where
3
import HsSyn ( HsExpr, LHsExpr )
4
import Name ( Name )
5
import TcType ( TcType, TcRhoType, BoxySigmaType, BoxyRhoType )
6
import TcRnTypes( TcM, TcId, InstOrigin )
7
8
tcPolyExpr ::
9
LHsExpr Name
10
-> BoxySigmaType
11
-> TcM (LHsExpr TcId)
12
13
tcMonoExpr ::
14
LHsExpr Name
15
-> BoxyRhoType
16
-> TcM (LHsExpr TcId)
17
18
tcInferRho, tcInferRhoNC ::
19
LHsExpr Name
20
-> TcM (LHsExpr TcId, TcRhoType)
21
22
tcSyntaxOp ::
23
InstOrigin
24
-> HsExpr Name
25
-> TcType
26
-> TcM (HsExpr TcId)
27
28
\end{code}