ghc-lib-8.8.2.20210620: The GHC API, decoupled from GHC versions
Safe HaskellNone
LanguageHaskell2010

TcHsSyn

Synopsis

Extracting types from HsSyn

Other HsSyn functions

mkHsApp :: forall (id :: Pass). LHsExpr (GhcPass id) -> LHsExpr (GhcPass id) -> LHsExpr (GhcPass id) #

mkHsAppTy :: forall (p :: Pass). LHsType (GhcPass p) -> LHsType (GhcPass p) -> LHsType (GhcPass p) #

mkHsCaseAlt :: forall (p :: Pass) body. LPat (GhcPass p) -> Located (body (GhcPass p)) -> LMatch (GhcPass p) (Located (body (GhcPass p))) #

A simple case alternative with a single pattern, no binds, no guards; pre-typechecking

conLikeResTy :: ConLike -> [Type] -> Type #

Returns the type of the whole pattern

re-exported from TcMonad

type TcId = Id #

type TcIdSet = IdSet #

Zonking

For a description of "zonking", see Note [What is zonking?] in TcMType

data ZonkEnv Source #

See Note [The ZonkEnv] Confused by zonking? See Note [What is zonking?] in TcMType.

Instances

Instances details
Outputable ZonkEnv Source # 
Instance details

Defined in TcHsSyn

Methods

ppr :: ZonkEnv -> SDoc #

pprPrec :: Rational -> ZonkEnv -> SDoc #

initZonkEnv :: (ZonkEnv -> a -> TcM b) -> a -> TcM b Source #