ghc-7.10.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcHsSyn

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))

type TcId = Id

type TcIdSet = IdSet

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

emptyZonkEnv :: ZonkEnv

mkEmptyZonkEnv :: UnboundTyVarZonker -> ZonkEnv

mkTyVarZonkEnv :: [TyVar] -> ZonkEnv

zonkTcTypeToType :: ZonkEnv -> TcType -> TcM Type

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

zonkTyVarOcc :: ZonkEnv -> TyVar -> TcM TcType