GHC.Hs.Syn.Type
Contents
Description
Compute the Type of an HsExpr GhcPass in a pure fashion.
Type
HsExpr GhcPass
HsExpr
GhcPass
Note that this does not currently support the use case of annotating every subexpression in an HsExpr with its Type. For more information on this task, see #12706, #15320, #16804, and #17331.
lhsExprType :: LHsExpr GhcTc -> Type Source #
Compute the Type of an LHsExpr GhcPass in a pure fashion.
LHsExpr GhcPass
LHsExpr
hsExprType :: HsExpr GhcTc -> Type Source #
hsWrapperType :: HsWrapper -> Type -> Type Source #
hsLitType :: HsLit (GhcPass p) -> Type Source #
hsPatType :: Pat GhcTc -> Type Source #
hsLPatType :: LPat GhcTc -> Type Source #