~/jendhub

def observed_leaf

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

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

64def observed_leaf(~S:Data,~E:Data,~F:Type,~put:F -> Leaf.Stream<S,E> -> F,returned:F & Leaf.Stream<S,E>,+tick:Nat,id:U32) -> F & Ev.Reading<E>:
65  match returned:
66    case (family,+stream):observed_read(~S,~E,~F,~put,family,Leaf.reading(~S,~E,stream,id,tick))

Uses (8)

Used by (1)