Treatment resize

flow/vec/void::resize


Inputs

⇥ size: Stream<u64>
⇥ vector: Stream<Vec<void>>

Outputs

↦ resized: Stream<Vec<void>>


Resize vectors according to given streamed size.

graph LR
     T("resize()")
     V["[🟦 🟦][🟦][][🟦 🟦 🟦]…"] -->|vector| T
     S["3️⃣ 2️⃣ 3️⃣ 2️⃣ …"] -->|size| T
     
     T -->|resized| P["[🟦 🟦 🟦][🟦 🟦][🟦 🟦 🟦][🟦 🟦]…"]

     style V fill:#ffff,stroke:#ffff
     style S fill:#ffff,stroke:#ffff
     style P fill:#ffff,stroke:#ffff