def take

bendvy-ecs-core@0.1.0.4 · event_family_runtime.bend:72

import Base
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Leaf

72# Trusted selector adapter extracting a copied Data stream while retaining actual
73# family/owners/journal. Selector coherence comes from canonical provision, not
74# a universal ownership or route-validity check in this wrapper.
75def take(~S:Data,~E:Data,~P:Data,~F:Type,~H:Type,~take:F -> F & Leaf.Stream<S,E>,state:State<P,F,H>) -> State<P,F,H> & Leaf.Stream<S,E>:
76  match state:
77    case State{family,owners,journal,frameStart}:selected_state(~S,~E,~P,~F,~H,owners,journal,frameStart,take(family))