def leaf_retain

bendvy-ecs-core@0.1.0.4 · ordinary_event_family.bend:25

import Base
import event_stream.bend as Leaf

25def leaf_retain(~S:Data,~E:Data,stream:Leaf.Stream<S,E>,tick:Nat,values:List<&2,E>) -> Leaf.Stream<S,E> & List<&2,E>:
26  +retained=stream
27  leaf_retained(~S,~E,retained,Nat.is_le(tick,Leaf.dropped(~S,~E,retained)),values)