Searched defs:tyCoVarsOfType (Results 1 – 4 of 4) sorted by relevance
114 tyCoVarsOfType ty = fvVarSet $ tyCoFVsOfType ty function127 tyCoVarsOfType (AppTy fun arg) = (tyCoVarsOfType fun `unionVarSet` tyCoVarsOfType arg) function280 tyCoVarsOfType ty = runTyCoVars (deep_ty ty) function282 -- tyCoVarsOfType ty = closeOverKinds (shallowTyCoVarsOfType ty) function
115 tyCoVarsOfType ty = fvVarSet $ tyCoFVsOfType ty function128 tyCoVarsOfType (AppTy fun arg) = (tyCoVarsOfType fun `unionVarSet` tyCoVarsOfType arg) function281 tyCoVarsOfType ty = runTyCoVars (deep_ty ty) function283 -- tyCoVarsOfType ty = closeOverKinds (shallowTyCoVarsOfType ty) function
70 tyCoVarsOfType ty = fvVarSet $ tyCoFVsOfType ty function83 tyCoVarsOfType (AppTy fun arg) = (tyCoVarsOfType fun `unionVarSet` tyCoVarsOfType arg) function175 tyCoVarsOfType ty = ty_co_vars_of_type ty emptyVarSet emptyVarSet function