def observed_set_ready

bendvy-ecs-core@0.1.0.4 · resource_field.bend:44

import Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

44# The disabled arm reaches the original setter before any view or rendering.
45def observed_set_ready(~S:Data,~C:Type,~R:Type,~E:Data,~P:Type,~Rest:Type,~V:Data,~lens:Product.Lens<R,P,Rest>,~view:P -> P & V,~render:V -> String,key:String,result:T.Tx<W.World<S,C,R,E>,E> & V,incoming:P & V) -> T.Tx<W.World<S,C,R,E>,E>:
46  match result incoming:
47    case (tx,before), (replacement,after):T.record(~W.World<S,C,R,E>,~E,tx_set(~S,~C,~R,~E,~P,~Rest,~lens,tx,replacement),TraceFacts.Fact{TraceFacts.ResourceValue{},key,TraceFacts.WriteOperation{},None{},TraceFacts.DisplayedValue{render(before)},TraceFacts.DisplayedValue{render(after)},TraceFacts.Attempted{}})