ghc-7.6.3: The GHC API

Safe HaskellNone

TcHsSyn

Documentation

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

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

type TcId = IdSource

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

mkEmptyZonkEnv :: UnboundTyVarZonker -> ZonkEnvSource

mkTyVarZonkEnv :: [TyVar] -> ZonkEnvSource

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