Home
last modified time | relevance | path

Searched defs:tyCoVarsOfType (Results 1 – 4 of 4) sorted by relevance

/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/TyCo/
H A DFVs.hs114 tyCoVarsOfType ty = fvVarSet $ tyCoFVsOfType ty function
127 tyCoVarsOfType (AppTy fun arg) = (tyCoVarsOfType fun `unionVarSet` tyCoVarsOfType arg) function
280 tyCoVarsOfType ty = runTyCoVars (deep_ty ty) function
282 -- tyCoVarsOfType ty = closeOverKinds (shallowTyCoVarsOfType ty) function
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/TyCo/
H A DFVs.hs115 tyCoVarsOfType ty = fvVarSet $ tyCoFVsOfType ty function
128 tyCoVarsOfType (AppTy fun arg) = (tyCoVarsOfType fun `unionVarSet` tyCoVarsOfType arg) function
281 tyCoVarsOfType ty = runTyCoVars (deep_ty ty) function
283 -- tyCoVarsOfType ty = closeOverKinds (shallowTyCoVarsOfType ty) function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/types/
H A DTyCoFVs.hs70 tyCoVarsOfType ty = fvVarSet $ tyCoFVsOfType ty function
83 tyCoVarsOfType (AppTy fun arg) = (tyCoVarsOfType fun `unionVarSet` tyCoVarsOfType arg) function
175 tyCoVarsOfType ty = ty_co_vars_of_type ty emptyVarSet emptyVarSet function
/dports/lang/ghc/ghc-8.10.7/compiler/types/
H A DTyCoFVs.hs70 tyCoVarsOfType ty = fvVarSet $ tyCoFVsOfType ty function
83 tyCoVarsOfType (AppTy fun arg) = (tyCoVarsOfType fun `unionVarSet` tyCoVarsOfType arg) function
175 tyCoVarsOfType ty = ty_co_vars_of_type ty emptyVarSet emptyVarSet function