ghc-lib-8.8.1.20191204: The GHC API, decoupled from GHC versions

Safe HaskellNone
LanguageHaskell2010

TcHsSyn

Contents

Synopsis

Extracting types from HsSyn

Other HsSyn functions

mkHsCaseAlt :: 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
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 #