| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/ |
| H A D | PartialOrd.hs | 15 data PartialOrdering type
29 leqPO :: PartialOrdering -> PartialOrdering -> Bool
53 oppPO :: PartialOrdering -> PartialOrdering
67 orPO :: PartialOrdering -> PartialOrdering -> PartialOrdering
100 seqPO :: PartialOrdering -> PartialOrdering -> PartialOrdering
124 instance Semigroup PartialOrdering where
127 instance Monoid PartialOrdering where
132 fromOrdering :: Ordering -> PartialOrdering
142 toOrderings :: PartialOrdering -> [Ordering]
152 type Comparable a = a -> a -> PartialOrdering
[all …]
|
| /dports/devel/coursier/coursier-1.1.0-M12/modules/core/shared/src/main/scala/coursier/core/ |
| H A D | Orders.scala | 5 trait PartialOrdering[T] extends scala.math.PartialOrdering[T] { trait
42 …artialOrder(configurations: Map[Configuration, Seq[Configuration]]): PartialOrdering[Configuration…
43 new PartialOrdering[Configuration] {
58 val optionalPartialOrder: PartialOrdering[Boolean] =
59 new PartialOrdering[Boolean] {
77 val exclusionsPartialOrder: PartialOrdering[Set[(Organization, ModuleName)]] =
78 new PartialOrdering[Set[(Organization, ModuleName)]] {
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 45 PartialOrdering, enumerator
48 First = PartialOrdering,
145 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 45 PartialOrdering, enumerator
48 First = PartialOrdering,
146 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 44 PartialOrdering, enumerator
47 First = PartialOrdering,
145 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 44 PartialOrdering, enumerator
47 First = PartialOrdering,
145 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 44 PartialOrdering, enumerator
47 First = PartialOrdering,
145 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 44 PartialOrdering, enumerator
47 First = PartialOrdering,
145 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 45 PartialOrdering, enumerator
48 First = PartialOrdering,
146 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 44 PartialOrdering, enumerator
47 First = PartialOrdering,
145 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 44 PartialOrdering, enumerator
47 First = PartialOrdering,
145 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 45 PartialOrdering, enumerator
48 First = PartialOrdering,
146 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 44 PartialOrdering, enumerator
47 First = PartialOrdering,
145 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 45 PartialOrdering, enumerator
48 First = PartialOrdering,
146 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/lang/clang-mesa/clang-13.0.1.src/include/clang/AST/ |
| H A D | ComparisonCategories.h | 45 PartialOrdering, enumerator
48 First = PartialOrdering,
146 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 46 PartialOrdering, enumerator
134 return Kind == CCK::PartialOrdering || Kind == CCK::WeakOrdering || in isOrdered()
148 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/llvm80/llvm-8.0.1.src/tools/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 47 PartialOrdering, enumerator
135 return Kind == CCK::PartialOrdering || Kind == CCK::WeakOrdering || in isOrdered()
149 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/llvm70/llvm-7.0.1.src/tools/clang/include/clang/AST/ |
| H A D | ComparisonCategories.h | 47 PartialOrdering, enumerator
135 return Kind == CCK::PartialOrdering || Kind == CCK::WeakOrdering || in isOrdered()
149 return Kind == CCK::PartialOrdering; in isPartial()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/AST/ |
| H A D | ComparisonCategories.cpp | 31 return CCT::PartialOrdering; in getComparisonCategoryForBuiltinCmp()
174 case CCKT::PartialOrdering: in getCategoryString()
211 if (Type == CCT::PartialOrdering) in getPossibleResultsForType()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/AST/ |
| H A D | ComparisonCategories.cpp | 30 return CCT::PartialOrdering; in getComparisonCategoryForBuiltinCmp()
173 case CCKT::PartialOrdering: in getCategoryString()
210 if (Type == CCT::PartialOrdering) in getPossibleResultsForType()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/AST/ |
| H A D | ComparisonCategories.cpp | 31 return CCT::PartialOrdering; in getComparisonCategoryForBuiltinCmp()
174 case CCKT::PartialOrdering: in getCategoryString()
211 if (Type == CCT::PartialOrdering) in getPossibleResultsForType()
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/AST/ |
| H A D | ComparisonCategories.cpp | 31 return CCT::PartialOrdering; in getComparisonCategoryForBuiltinCmp()
174 case CCKT::PartialOrdering: in getCategoryString()
211 if (Type == CCT::PartialOrdering) in getPossibleResultsForType()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/AST/ |
| H A D | ComparisonCategories.cpp | 31 return CCT::PartialOrdering; in getComparisonCategoryForBuiltinCmp()
174 case CCKT::PartialOrdering: in getCategoryString()
211 if (Type == CCT::PartialOrdering) in getPossibleResultsForType()
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/AST/ |
| H A D | ComparisonCategories.cpp | 30 return CCT::PartialOrdering; in getComparisonCategoryForBuiltinCmp()
173 case CCKT::PartialOrdering: in getCategoryString()
210 if (Type == CCT::PartialOrdering) in getPossibleResultsForType()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/AST/ |
| H A D | ComparisonCategories.cpp | 31 return CCT::PartialOrdering; in getComparisonCategoryForBuiltinCmp()
174 case CCKT::PartialOrdering: in getCategoryString()
211 if (Type == CCT::PartialOrdering) in getPossibleResultsForType()
|