ghc-8.4.1: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcHsSyn

Contents

Synopsis

Extracting types from HsSyn

Other HsSyn functions

mkHsApp :: LHsExpr name -> LHsExpr name -> LHsExpr name Source #

mkHsAppTy :: LHsType pass -> LHsType pass -> LHsType pass Source #

mkHsCaseAlt :: LPat id -> Located (body id) -> LMatch id (Located (body id)) 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 TcMType

zonkTyBndrsX :: ZonkEnv -> [TcTyVar] -> TcM (ZonkEnv, [TyVar]) Source #

zonkTyVarBindersX :: ZonkEnv -> [TyVarBndr TcTyVar vis] -> TcM (ZonkEnv, [TyVarBndr TyVar vis]) Source #

zonkTyVarBinderX :: ZonkEnv -> TyVarBndr TcTyVar vis -> TcM (ZonkEnv, TyVarBndr TyVar vis) Source #

emptyZonkEnv :: ZonkEnv Source #

mkEmptyZonkEnv :: UnboundTyVarZonker -> ZonkEnv Source #

zonkTcTypeToTypes :: ZonkEnv -> [TcType] -> TcM [Type] Source #

zonkTyVarOcc :: ZonkEnv -> TyVar -> TcM TcType Source #

zonkEvBinds :: ZonkEnv -> Bag EvBind -> TcM (ZonkEnv, Bag EvBind) Source #

zonkTcEvBinds :: ZonkEnv -> TcEvBinds -> TcM (ZonkEnv, TcEvBinds) Source #