ghc-8.0.0.20160204: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcHsSyn

Synopsis

Documentation

mkHsApp :: LHsExpr name -> LHsExpr name -> LHsExpr name

mkHsAppTy :: LHsType name -> LHsType name -> LHsType name

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

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

Returns the type of the whole pattern

type TcId = Id

type TcIdSet = IdSet

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

emptyZonkEnv :: ZonkEnv

mkEmptyZonkEnv :: UnboundTyVarZonker -> ZonkEnv

zonkTcTypeToType :: ZonkEnv -> TcType -> TcM Type

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

zonkTyVarOcc :: ZonkEnv -> TyVar -> TcM TcType

zonkCoToCo :: ZonkEnv -> Coercion -> TcM Coercion