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
70
71
72
73
|
//===----------------------------------------------------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 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
//
//===----------------------------------------------------------------------===//
#if FOUNDATION_FRAMEWORK
@available(FoundationPredicate 0.1, *)
extension PredicateExpressions {
@available(FoundationPredicate 0.3, *)
public struct PredicateEvaluate<
Condition : PredicateExpression,
each Input : PredicateExpression
> : PredicateExpression
where
Condition.Output == Predicate<repeat (each Input).Output>
{
public typealias Output = Bool
public let predicate: Condition
public let input: (repeat each Input)
public init(predicate: Condition, input: repeat each Input) {
self.predicate = predicate
self.input = (repeat each input)
}
public func evaluate(_ bindings: PredicateBindings) throws -> Output {
try predicate.evaluate(bindings).evaluate(repeat try (each input).evaluate(bindings))
}
}
@available(FoundationPredicate 0.3, *)
public static func build_evaluate<Condition, each Input>(_ predicate: Condition, _ input: repeat each Input) -> PredicateEvaluate<Condition, repeat each Input> {
PredicateEvaluate<Condition, repeat each Input>(predicate: predicate, input: repeat each input)
}
}
@available(FoundationPredicate 0.3, *)
extension PredicateExpressions.PredicateEvaluate : CustomStringConvertible {
public var description: String {
"PredicateEvaluate(predicate: \(predicate), input: \(input))"
}
}
@available(FoundationPredicate 0.3, *)
extension PredicateExpressions.PredicateEvaluate : StandardPredicateExpression where Condition : StandardPredicateExpression, repeat each Input : StandardPredicateExpression {}
@available(FoundationPredicate 0.3, *)
extension PredicateExpressions.PredicateEvaluate : Codable where Condition : Codable, repeat each Input : Codable {
public func encode(to encoder: Encoder) throws {
var container = encoder.unkeyedContainer()
try container.encode(predicate)
repeat try container.encode(each input)
}
public init(from decoder: Decoder) throws {
var container = try decoder.unkeyedContainer()
self.predicate = try container.decode(Condition.self)
self.input = (repeat try container.decode((each Input).self))
}
}
@available(FoundationPredicate 0.3, *)
extension PredicateExpressions.PredicateEvaluate : Sendable where Condition : Sendable, repeat each Input : Sendable {}
#endif
|
