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
74
75
use quote::{quote_spanned, ToTokens};
use super::{
OperatorCategory, OperatorConstraints, OperatorWriteOutput,
WriteContextArgs, RANGE_0, RANGE_1, RANGE_ANY,
};
/// > *n* input streams of the same type, 1 output stream of the same type
///
/// Unions an arbitrary number of input streams into a single stream. Each input sequence is a subsequence of the output, but no guarantee is given on how the inputs are interleaved.
///
/// Since `union` has multiple input streams, it needs to be assigned to
/// a variable to reference its multiple input ports across statements.
///
/// ```hydroflow
/// source_iter(vec!["hello", "world"]) -> my_union;
/// source_iter(vec!["stay", "gold"]) -> my_union;
/// source_iter(vec!["don't", "give", "up"]) -> my_union;
/// my_union = union()
/// -> map(|x| x.to_uppercase())
/// -> assert_eq(["HELLO", "WORLD", "STAY", "GOLD", "DON'T", "GIVE", "UP"]);
/// ```
pub const UNION: OperatorConstraints = OperatorConstraints {
name: "union",
categories: &[OperatorCategory::MultiIn],
hard_range_inn: RANGE_ANY,
soft_range_inn: &(2..),
hard_range_out: RANGE_1,
soft_range_out: RANGE_1,
num_args: 0,
persistence_args: RANGE_0,
type_args: RANGE_0,
is_external_input: false,
has_singleton_output: false,
ports_inn: None,
ports_out: None,
input_delaytype_fn: |_| None,
write_fn: |&WriteContextArgs {
op_span,
ident,
inputs,
outputs,
is_pull,
..
},
_| {
let write_iterator = if is_pull {
let chains = inputs
.iter()
.map(|i| i.to_token_stream())
.reduce(|a, b| quote_spanned! {op_span=> check_inputs(#a, #b) })
.unwrap_or_else(|| quote_spanned! {op_span=> std::iter::empty() });
quote_spanned! {op_span=>
let #ident = {
#[allow(unused)]
#[inline(always)]
fn check_inputs<A: ::std::iter::Iterator<Item = Item>, B: ::std::iter::Iterator<Item = Item>, Item>(a: A, b: B) -> impl ::std::iter::Iterator<Item = Item> {
a.chain(b)
}
#chains
};
}
} else {
assert_eq!(1, outputs.len());
let output = &outputs[0];
quote_spanned! {op_span=>
let #ident = #output;
}
};
Ok(OperatorWriteOutput {
write_iterator,
..Default::default()
})
},
};