1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
//===----------------------------------------------------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2022-2023 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
//
//===----------------------------------------------------------------------===//
@available(FoundationPredicate 0.1, *)
extension PredicateExpressions {
public struct Conjunction<
LHS : PredicateExpression,
RHS : PredicateExpression
> : PredicateExpression
where
LHS.Output == Bool,
RHS.Output == Bool
{
public typealias Output = Bool
public let lhs: LHS
public let rhs: RHS
public init(lhs: LHS, rhs: RHS) {
self.lhs = lhs
self.rhs = rhs
}
public func evaluate(_ bindings: PredicateBindings) throws -> Bool {
try lhs.evaluate(bindings) && rhs.evaluate(bindings)
}
}
public static func build_Conjunction<LHS, RHS>(lhs: LHS, rhs: RHS) -> Conjunction<LHS, RHS> {
Conjunction(lhs: lhs, rhs: rhs)
}
}
@available(FoundationPredicate 0.3, *)
extension PredicateExpressions.Conjunction : CustomStringConvertible {
public var description: String {
"Conjunction(lhs: \(lhs), rhs: \(rhs))"
}
}
@available(FoundationPredicate 0.1, *)
extension PredicateExpressions.Conjunction : StandardPredicateExpression where LHS : StandardPredicateExpression, RHS : StandardPredicateExpression {}
@available(FoundationPredicate 0.1, *)
extension PredicateExpressions.Conjunction : Codable where LHS : Codable, RHS : Codable {
public func encode(to encoder: Encoder) throws {
var container = encoder.unkeyedContainer()
try container.encode(lhs)
try container.encode(rhs)
}
public init(from decoder: Decoder) throws {
var container = try decoder.unkeyedContainer()
lhs = try container.decode(LHS.self)
rhs = try container.decode(RHS.self)
}
}
@available(FoundationPredicate 0.1, *)
extension PredicateExpressions.Conjunction : Sendable where LHS : Sendable, RHS : Sendable {}
|
