GHC.Hs.Syn.Type
Contents
Description
Compute the Type of an HsExpr GhcTc in a pure fashion.
Type
HsExpr GhcTc
HsExpr
GhcTc
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 GhcTc in a pure fashion.
LHsExpr GhcTc
LHsExpr
hsExprType :: HsExpr GhcTc -> Type Source #
hsWrapperType :: HsWrapper -> Type -> Type Source #
hsLitType :: forall (p :: Pass). IsPass p => HsLit (GhcPass p) -> Type Source #
hsPatType :: Pat GhcTc -> Type Source #
hsLPatType :: LPat GhcTc -> Type Source #