def initialized_put_taken

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

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

51def initialized_put_taken(~S:Data,~K:Data,~V:Data,~R:Type,~put:R -> Resource.State<S,K,V> -> R,stream:St.Stream<V>,result:R & Resource.State<S,K,V>) -> R:
52  match result:
53    case (resource,Resource.State{slot,_,revision}):put(resource,Resource.State{slot,stream,revision})