def first_put

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

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

21def first_put(~S:Data,~A:Data,~B:Data,~H:Type,streams:Streams<S,A,B,H>,first:Leaf.Stream<S,A>) -> Streams<S,A,B,H>:
22  match streams:
23    case Streams{_,second,owners}:Streams{first,second,owners}

Uses (2)

Used by (0)

No other definition uses this definition.