ghc-9.2.1: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Tc.Utils.Zonk

Description

Specialisations of the HsSyn syntax for the typechecker

This module is an extension of HsSyn syntax, for use in the type checker.

Synopsis

Extracting types from HsSyn

Other HsSyn functions

mkHsCaseAlt :: (Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpan, Anno (Match (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpanAnnA) => LPat (GhcPass p) -> LocatedA (body (GhcPass p)) -> LMatch (GhcPass p) (LocatedA (body (GhcPass p))) Source #

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

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

Returns the type of the whole pattern

re-exported from TcMonad

type TcId = Id Source #

Zonking

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

data ZonkEnv Source #

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

Instances

Instances details
Outputable ZonkEnv Source # 
Instance details

Defined in GHC.Tc.Utils.Zonk

Methods

ppr :: ZonkEnv -> SDoc Source #