| /dports/lang/ghc/ghc-8.10.7/compiler/deSugar/ |
| H A D | DsCCall.hs | 131 tyvars = tyCoVarsOfTypeWellScoped body_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 D | Class.hs | 306 classExtraBigSig (Class {classTyVars = tyvars, classFunDeps = fundeps, function
309 classExtraBigSig (Class {classTyVars = tyvars, classFunDeps = fundeps, function
|
| H A D | TyCoRep.hs | 940 mkForAllTys tyvars ty = foldr ForAllTy ty tyvars function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/types/ |
| H A D | Class.hs | 306 classExtraBigSig (Class {classTyVars = tyvars, classFunDeps = fundeps, function
309 classExtraBigSig (Class {classTyVars = tyvars, classFunDeps = fundeps, function
|
| H A D | TyCoRep.hs | 940 mkForAllTys tyvars ty = foldr ForAllTy ty tyvars function
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/Judgements/ |
| H A D | Theta.hs | 86 let tyvars = S.fromList $ mapMaybe getTyVar_maybe [a, b] function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/Judgements/ |
| H A D | Theta.hs | 86 let tyvars = S.fromList $ mapMaybe getTyVar_maybe [a, b] function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
| H A D | Class.hs | 317 classExtraBigSig (Class {classTyVars = tyvars, classFunDeps = fundeps, function
320 classExtraBigSig (Class {classTyVars = tyvars, classFunDeps = fundeps, function
|
| H A D | PatSyn.hs | 461 tyvars = binderVars (univ_tvs ++ ex_tvs) function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
| H A D | Class.hs | 318 classExtraBigSig (Class {classTyVars = tyvars, classFunDeps = fundeps, function
321 classExtraBigSig (Class {classTyVars = tyvars, classFunDeps = fundeps, function
|
| H A D | PatSyn.hs | 485 tyvars = binderVars (univ_tvs ++ ex_tvs) function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/basicTypes/ |
| H A D | PatSyn.hs | 456 tyvars = binderVars (univ_tvs ++ ex_tvs) function
|
| H A D | MkId.hs | 401 tyvars = dataConUserTyVarBinders data_con function
456 tyvars = dataConUnivTyVars data_con function
|
| H A D | VarEnv.hs | 508 zipVarEnv tyvars tys = mkVarEnv (zipEqual "zipVarEnv" tyvars tys) function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/basicTypes/ |
| H A D | PatSyn.hs | 456 tyvars = binderVars (univ_tvs ++ ex_tvs) function
|
| H A D | MkId.hs | 401 tyvars = dataConUserTyVarBinders data_con function
456 tyvars = dataConUnivTyVars data_con function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Types/Id/ |
| H A D | Make.hs | 456 tyvars = dataConUserTyVarBinders data_con function
513 tyvars = dataConUnivTyVars data_con function
|
| /dports/lang/mosml/mosml-ver-2.10.1/src/compiler/ |
| H A D | Elab.sml | 2286 val tyvars = scopedTyVars loc UE pars (unguardedValDec (pvbs, rvbs)) value
2298 val tyvars = scopedTyVars loc UE pars (unguardedPrimValBindList pbs) value
3091 val tyvars = scopedTyVars loc UE pars (unguardedValDescList vds) value
3108 val tyvars = scopedTyVars loc UE pars (unguardedPrimValBindList pbs) value
|
| /dports/lang/mosml/mosml-ver-2.10.1/src/compiler.cminusminus/ |
| H A D | Elab.sml | 2258 val tyvars = scopedTyVars loc UE pars (unguardedValDec (pvbs, rvbs)) value
2270 val tyvars = scopedTyVars loc UE pars (unguardedPrimValBindList pbs) value
3059 val tyvars = scopedTyVars loc UE pars (unguardedValDescList vds) value
3076 val tyvars = scopedTyVars loc UE pars (unguardedPrimValBindList pbs) value
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/TyCo/ |
| H A D | Rep.hs | 1035 mkForAllTys tyvars ty = foldr ForAllTy ty tyvars function
1039 mkInvisForAllTys tyvars ty = foldr ForAllTy ty $ tyVarSpecToBinders tyvars 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 D | Rep.hs | 1001 mkForAllTys tyvars ty = foldr ForAllTy ty tyvars function
1005 mkInvisForAllTys tyvars ty = foldr ForAllTy ty $ tyVarSpecToBinders tyvars function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Types/Id/ |
| H A D | Make.hs | 475 tyvars = dataConUserTyVarBinders data_con function
533 tyvars = dataConUnivTyVars data_con function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/rename/ |
| H A D | RnUtils.hs | 101 extendTyVarEnvFVRn tyvars thing_inside = bindLocalNamesFV tyvars thing_inside function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Types/Var/ |
| H A D | Env.hs | 525 zipVarEnv tyvars tys = mkVarEnv (zipEqual "zipVarEnv" tyvars tys) function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Types/Var/ |
| H A D | Env.hs | 526 zipVarEnv tyvars tys = mkVarEnv (zipEqual "zipVarEnv" tyvars tys) function
|