| /dports/net/boinc-client/boinc-client_release-7.8-7.8.6/android/BOINC/app/src/main/java/edu/berkeley/boinc/adapter/ |
| H A D | ProjectsListAdapter.java | 136 TextView tvName = (TextView)vi.findViewById(R.id.name); in getView() local
137 tvName.setText(data.acctMgrInfo.acct_mgr_name); in getView()
147 TextView tvName = (TextView)vi.findViewById(R.id.project_name); in getView() local
148 tvName.setText(getName(position)); in getView()
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Types/Name/ |
| H A D | Occurrence.hs | 36 tvName, srcDataName,
155 tvName, varName :: NameSpace function
167 tvName = TvName function
320 mkTyVarOcc = mkOccName tvName
323 mkTyVarOccFS fs = mkOccNameFS tvName fs
626 mkRepEqOcc = mk_simple_deriv tvName "$r" -- In RULES involving Coercible
|
| /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 | OccName.hs | 35 tvName, srcDataName,
155 tvName, varName :: NameSpace function
167 tvName = TvName function
324 mkTyVarOcc = mkOccName tvName
327 mkTyVarOccFS fs = mkOccNameFS tvName fs
632 mkRepEqOcc = mk_simple_deriv tvName "$r" -- In RULES involving Coercible
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Types/Name/ |
| H A D | Occurrence.hs | 36 tvName, srcDataName,
157 tvName, varName :: NameSpace function
169 tvName = TvName function
330 mkTyVarOcc = mkOccName tvName
333 mkTyVarOccFS fs = mkOccNameFS tvName fs
643 mkRepEqOcc = mk_simple_deriv tvName "$r" -- In RULES involving Coercible
|
| /dports/lang/ghc/ghc-8.10.7/compiler/basicTypes/ |
| H A D | OccName.hs | 35 tvName, srcDataName,
155 tvName, varName :: NameSpace function
167 tvName = TvName function
324 mkTyVarOcc = mkOccName tvName
327 mkTyVarOccFS fs = mkOccNameFS tvName fs
632 mkRepEqOcc = mk_simple_deriv tvName "$r" -- In RULES involving Coercible
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/devel/hs-profiteur/profiteur-0.4.6.0/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/textproc/hs-yaml/yaml-0.11.5.0/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/th-abstraction-0.3.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 116 , tvName
1330 let argNames = map tvName synvars
1559 tvName :: TyVarBndr -> Name
1560 tvName (PlainTV name ) = name function
1561 tvName (KindedTV name _) = name function
1645 foldr (\tvb -> Map.delete (tvName tvb))
1664 foldr (\tvb -> Map.delete (tvName tvb)) (go_ty t) tvbs
1818 subst_tvbs tvs k = k $ foldl' (flip Map.delete) subst (map tvName tvs)
1846 \\ map tvName tvs
1853 \\ (tvName <$> constructorVars ci)
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/free-5.1.6/src/Control/Monad/Free/ |
| H A D | TH.hs | 91 usesTV n (ForallT bs _ t) = usesTV n t && n `notElem` map tvName bs
189 extractVars (ForallT bs _ t) = extractVars t \\ map tvName bs
240 nonNext tv = VarT (tvName tv) /= n
312 tys = map (VarT . tvName) tyVarBndrs
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/free-5.1.6/src/Control/Monad/Free/ |
| H A D | TH.hs | 91 usesTV n (ForallT bs _ t) = usesTV n t && n `notElem` map tvName bs
189 extractVars (ForallT bs _ t) = extractVars t \\ map tvName bs
240 nonNext tv = VarT (tvName tv) /= n
312 tys = map (VarT . tvName) tyVarBndrs
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/free-5.1.6/src/Control/Monad/Free/ |
| H A D | TH.hs | 91 usesTV n (ForallT bs _ t) = usesTV n t && n `notElem` map tvName bs
189 extractVars (ForallT bs _ t) = extractVars t \\ map tvName bs
240 nonNext tv = VarT (tvName tv) /= n
312 tys = map (VarT . tvName) tyVarBndrs
|