def first_take

bendvy-ecs-core@0.1.0.4 · event_publication.bend:18

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

18def first_take(~S:Data,~A:Data,~B:Data,~H:Type,streams:Streams<S,A,B,H>) -> Streams<S,A,B,H> & Leaf.Stream<S,A>:
19  match streams:
20    case Streams{+first,second,owners}:(Streams{first,second,owners},first)

Uses (4)

Used by (0)

No other definition uses this definition.