~/jendhub

def restore

bendvy-ecs-core@0.1.0.4 · owned_event_family_reader_runtime.bend:49

import bendvy-ecs-core@0.1.0.4/owned_event_family_reader_runtime.bend as OwnedEventFamilyReaderRuntime
import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Stream
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route

49def restore(~S:Data,~C:Type,~R:Type,~E:Data,~F:Type,~take:F -> F & Stream.Stream<S,Nat>,~put:F -> Stream.Stream<S,Nat> -> F,old:List<&2,Ev.Position>,id:U32,runtime:Route.Runtime<S,C,R,E,F>) -> Route.Runtime<S,C,R,E,F>:
50  match runtime:
51    case Route.Runtime{world,family,tick}:restore_taken(~S,~C,~R,~E,~F,~put,world,tick,old,id,take(family))

Uses (8)

Used by (2)