Moduleghc-10.0.0.20260917GHC2024

GHC.Hs.Syn.Type

Compute the Type of an HsExpr GhcTc in a pure fashion.

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.

6 values

Packageghc-10.0.0.20260917
Exports6
LanguageGHC2024
LicenceBSD-3-Clause
SourceType.hs

Extracting types from HsExpr

3 declarations

valuelhsExprType :: LHsExpr GhcTc -> Type

Compute the Type of an LHsExpr GhcTc in a pure fashion.

valuehsExprType :: HsExpr GhcTc -> Type

Compute the Type of an HsExpr GhcTc in a pure fashion.

valuehsWrapperType :: HsWrapper -> Type -> Type

Return the type of WrapExpr wrap e, given that e :: ty

Extracting types from HsSyn

3 declarations

valuehsLitType :: IsPass p => HsLit (GhcPass p) -> Type

valuehsPatType :: Pat GhcTc -> Type

valuehsLPatType :: LPat GhcTc -> Type