Home
last modified time | relevance | path

Searched defs:isIrrelevant (Results 1 – 25 of 27) sorted by relevance

12

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DFree.hs238 | isIrrelevant o = mempty function
H A DMetaVars.hs1487 | isIrrelevant info = return vars function
1537 | isIrrelevant ai = applyUnless (any ((i==) . unArg . fst) vars) (a :) vars function
H A DReduce.hs1135 | isIrrelevant a = return a -- Andreas, 2012-04-02: Do not normalize irrelevant terms!? function
/dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/workhorse/vendor/honnef.co/go/tools/unused/
H A Dunused.go726 func isIrrelevant(obj interface{}) bool { func
/dports/dns/dnscrypt-proxy2/dnscrypt-proxy-2.1.1/vendor/honnef.co/go/tools/unused/
H A Dunused.go731 func isIrrelevant(obj interface{}) bool { func
/dports/sysutils/terraform-docs/terraform-docs-0.16.0/vendor/honnef.co/go/tools/unused/
H A Dunused.go731 func isIrrelevant(obj interface{}) bool { func
/dports/security/vault/vault-1.8.2/vendor/honnef.co/go/tools/unused/
H A Dunused.go911 func isIrrelevant(obj interface{}) bool { func
/dports/security/vuls/vuls-0.13.7/vendor/honnef.co/go/tools/unused/
H A Dunused.go915 func isIrrelevant(obj interface{}) bool { func
/dports/net-mgmt/thanos/thanos-0.11.0/vendor/honnef.co/go/tools/unused/
H A Dunused.go915 func isIrrelevant(obj interface{}) bool { func
/dports/sysutils/nomad/nomad-1.1.0/vendor/honnef.co/go/tools/unused/
H A Dunused.go911 func isIrrelevant(obj interface{}) bool { func
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/prometheus/node_exporter/vendor/honnef.co/go/tools/unused/
H A Dunused.go915 func isIrrelevant(obj interface{}) bool { func
/dports/multimedia/navidrome/navidrome-0.40.0/vendor/honnef.co/go/tools/unused/
H A Dunused.go911 func isIrrelevant(obj interface{}) bool { func
/dports/multimedia/navidrome/navidrome-0.40.0/vendor/github.com/kunwardeep/paralleltest/tools/vendor/honnef.co/go/tools/unused/
H A Dunused.go911 func isIrrelevant(obj interface{}) bool { func
/dports/x11-wm/plasma5-kwin/kwin-5.23.5/src/
H A Dplacement.cpp170 static inline bool isIrrelevant(const AbstractClient *client, const AbstractClient *regarding, int … in isIrrelevant() function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/
H A DData.hs1217 | isIrrelevant arg = return () function
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp315 bool static isIrrelevant(QualType T) { return T.isNull(); } in isIrrelevant() function in __anonc27cafce0111::StdLibraryFunctionsChecker
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp315 bool static isIrrelevant(QualType T) { return T.isNull(); } in isIrrelevant() function in __anon1c9c4dea0111::StdLibraryFunctionsChecker
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp356 bool static isIrrelevant(QualType T) { return T.isNull(); } in isIrrelevant() function in __anon1e1ccc950111::StdLibraryFunctionsChecker
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp356 bool static isIrrelevant(QualType T) { return T.isNull(); } in isIrrelevant() function in __anon10f2ce940111::StdLibraryFunctionsChecker
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp356 bool static isIrrelevant(QualType T) { return T.isNull(); } in isIrrelevant() function in __anon148329a80111::StdLibraryFunctionsChecker
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp395 bool static isIrrelevant(QualType T) { return T.isNull(); } in isIrrelevant() function in __anond0f7fe750111::StdLibraryFunctionsChecker
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp395 bool static isIrrelevant(QualType T) { return T.isNull(); } in isIrrelevant() function in __anon1b1134220111::StdLibraryFunctionsChecker
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp395 bool static isIrrelevant(QualType T) { return T.isNull(); } in isIrrelevant() function in __anon10b17dea0111::StdLibraryFunctionsChecker
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp395 bool static isIrrelevant(QualType T) { return T.isNull(); } in isIrrelevant() function in __anon4e5f6a770111::StdLibraryFunctionsChecker
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp395 bool static isIrrelevant(QualType T) { return T.isNull(); } in isIrrelevant() function in __anon0d2122d60111::StdLibraryFunctionsChecker

12