def initialized_taken

bendvy-ecs-core@0.1.0.4 · ordinary_machine_transition_reader.bend:45

import Base
import bendvy-ecs-core@0.1.0.4/machine_stream.bend as St
import bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization.bend as Resource

45# Initializer declarations supply the same operational state cell and name.
46def initialized_taken(~S:Data,~K:Data,~V:Data,~R:Type,~put:R -> Resource.State<S,K,V> -> R,result:R & Resource.State<S,K,V>) -> R & St.Stream<V>:
47  match result:
48    case (resource,Resource.State{slot,+stream,revision}):(put(resource,Resource.State{slot,stream,revision}),stream)