def take

bendvy-ecs-core@0.1.0.4 · event_notice_runtime.bend:114

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

114def take(~S:Data,~E:Data,~P:Data,~F:Type,~H:Type,~take:F -> F & Leaf.Stream<S,E>,state:State<S,P,F,H>) -> State<S,P,F,H> & Leaf.Stream<S,E>:
115  match state:
116    case State{typed,failures}:selected(~S,~E,~P,~F,~H,failures,Family.take(~S,~E,~P,~F,~H,~take,typed))