ghc-8.0.1: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcHsSyn

Contents

Synopsis

Documentation

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

mkHsAppTy :: LHsType name -> LHsType name -> LHsType name Source #

mkSimpleHsAlt :: LPat id -> Located (body id) -> LMatch id (Located (body id)) Source #

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

Returns the type of the whole pattern

type TcId = Id Source #

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

zonkTyBinders :: ZonkEnv -> [TcTyBinder] -> TcM (ZonkEnv, [TyBinder]) Source #

emptyZonkEnv :: ZonkEnv Source #

mkEmptyZonkEnv :: UnboundTyVarZonker -> ZonkEnv Source #

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

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

zonkTcKindToKind :: [TcTyBinder] -> TcKind -> TcM ([TyBinder], Kind) Source #

Used during kind-checking in TcTyClsDecls, where it's more convenient to keep the binders and result kind separate.

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

Validity checking