Another major improvement of "improvement"
[ghc.git] / compiler / typecheck / TcExpr.hs-boot
1 module TcExpr where
2 import HsSyn    ( HsExpr, LHsExpr )
3 import Name     ( Name )
4 import TcType   ( TcType, TcRhoType, TcSigmaType )
5 import TcRnTypes( TcM, TcId, CtOrigin )
6
7 tcPolyExpr ::
8           LHsExpr Name
9        -> TcSigmaType
10        -> TcM (LHsExpr TcId)
11
12 tcMonoExpr, tcMonoExprNC ::
13           LHsExpr Name
14        -> TcRhoType
15        -> TcM (LHsExpr TcId)
16
17 tcInferRho, tcInferRhoNC ::
18           LHsExpr Name
19        -> TcM (LHsExpr TcId, TcRhoType)
20
21 tcSyntaxOp :: CtOrigin
22            -> HsExpr Name
23            -> TcType
24            -> TcM (HsExpr TcId)
25
26 tcCheckId :: Name -> TcRhoType -> TcM (HsExpr TcId)