def put

bendvy-ecs-core@0.1.0.4 · event_family_runtime.bend:78

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

78# Trusted selector adapter reinserting a Data stream into actual family state,
79# preserving owners/journal/frame marker. Does not validate arbitrary stream origin
80# or manufacture a reader capability.
81def put(~S:Data,~E:Data,~P:Data,~F:Type,~H:Type,~put:F -> Leaf.Stream<S,E> -> F,state:State<P,F,H>,stream:Leaf.Stream<S,E>) -> State<P,F,H>:
82  match state:
83    case State{family,owners,journal,frameStart}:State{put(family,stream),owners,journal,frameStart}