blob: 8d60ba466291f2110358a5f7248f0e989c8c3e08 (
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
29
30
|
module TcExpr where
import HsSyn ( HsExpr, LHsExpr )
import Name ( Name )
import TcType ( TcType, TcRhoType, TcSigmaType )
import TcRnTypes( TcM, TcId, CtOrigin )
tcPolyExpr ::
LHsExpr Name
-> TcSigmaType
-> TcM (LHsExpr TcId)
tcMonoExpr, tcMonoExprNC ::
LHsExpr Name
-> TcRhoType
-> TcM (LHsExpr TcId)
tcInferSigma, tcInferSigmaNC ::
LHsExpr Name
-> TcM (LHsExpr TcId, TcSigmaType)
tcInferRho ::
LHsExpr Name
-> TcM (LHsExpr TcId, TcRhoType)
tcSyntaxOp :: CtOrigin
-> HsExpr Name
-> TcType
-> TcM (HsExpr TcId)
tcCheckId :: Name -> TcRhoType -> TcM (HsExpr TcId)
|