blob: acd5d8a747a3e253eb74c49b5c105636953eb88a (
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
|
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)
tcInferRho, tcInferRhoNC ::
LHsExpr Name
-> TcM (LHsExpr TcId, TcRhoType)
tcSyntaxOp :: CtOrigin
-> HsExpr Name
-> TcType
-> TcM (HsExpr TcId)
tcCheckId :: Name -> TcRhoType -> TcM (HsExpr TcId)
|
