| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/ |
| H A D | Fixity.hs | 209 declaredNames :: Declaration -> DeclaredNames
210 declaredNames = \case function
213 Field _ fs -> foldMap declaredNames fs
219 DataDef _ _ _ cs -> foldMap declaredNames cs
228 Mutual _ ds -> foldMap declaredNames ds
230 LoneConstructor _ ds -> foldMap declaredNames ds
231 Abstract _ ds -> foldMap declaredNames ds
233 InstanceB _ ds -> foldMap declaredNames ds
234 Macro _ ds -> foldMap declaredNames ds
236 Primitive _ ds -> foldMap declaredNames ds
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Abstract/ |
| H A D | Views.hs | 453 default declaredNames
456 declaredNames = foldMap declaredNames function
466 declaredNames = either declaredNames declaredNames function
469 declaredNames (a,b) = declaredNames a <> declaredNames b function
472 declaredNames = singleton function
480 declaredNames = \case function
509 declaredNames = \case function
522 declaredNames (Clause _ _ rhs decls _) = declaredNames rhs <> declaredNames decls function
525 declaredNames (WhereDecls _ ds) = declaredNames ds function
528 declaredNames = \case function
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/devtools-frontend/src/node_modules/rollup-pluginutils/ |
| H A D | README.md | 155 const declaredNames = extractAssignedNames(node.id);
157 // e.g. for `const {x, y: z} = ... => declaredNames = ['x', 'z']
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/devtools-frontend/src/node_modules/@rollup/pluginutils/ |
| H A D | README.md | 206 const declaredNames = extractAssignedNames(node.id);
208 // e.g. for `const {x, y: z} = ... => declaredNames = ['x', 'z']
|
| /dports/lang/spidermonkey78/firefox-78.9.0/js/src/frontend/ |
| H A D | BinAST.webidl_ | 115 attribute FrozenArray<AssertedDeclaredName> declaredNames;
120 attribute FrozenArray<AssertedDeclaredName> declaredNames;
125 attribute FrozenArray<AssertedDeclaredName> declaredNames;
|
| H A D | BinAST.yaml | 413 declaredNames:
|
| /dports/devel/qt5-uitools/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/x11-toolkits/qt5-uiplugin/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/devel/qt5-qdbusviewer/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/devel/qt5-qdbus/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/sysutils/qt5-qtdiag/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/sysutils/qt5-qtplugininfo/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/sysutils/qt5-qtpaths/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames();
881 if (declaredNames != documentedNames) {
882 for (const auto &name : declaredNames) {
894 if (!declaredNames.contains(name)) {
895 QString best = nearestName(name, declaredNames);
|
| /dports/devel/qt5-designer/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/devel/qt5-help/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/devel/qt5-linguist/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/devel/qt5-linguisttools/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/devel/qt5-assistant/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/devel/qt5-qdoc/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/graphics/qt5-pixeltool/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/x11/qt5-qev/kde-qttools-5.15.2p17/src/qdoc/ |
| H A D | generator.cpp | 879 const QSet<QString> declaredNames = fn->parameters().getNames(); in generateBody() local
881 if (declaredNames != documentedNames) { in generateBody()
882 for (const auto &name : declaredNames) { in generateBody()
894 if (!declaredNames.contains(name)) { in generateBody()
895 QString best = nearestName(name, declaredNames); in generateBody()
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/ |
| H A D | Generate.hs | 70 import Agda.Syntax.Abstract.Views ( KName, declaredNames )
263 syntax = runBuilder (declaredNames decl :: NameKindBuilder) HMap.empty
|