TraceWorld.applied: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/trace_world.bend as TraceWorld
Lines 19-23 of bendvy-ecs-core@0.1.0.4/trace_world.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/trace_world.bend&start_line=19&end_line=23

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as Facts

def applied(~S:Data,state:Facts.State,key:String,target:W.Handle<S>,status:W.Status) -> Facts.State:
  match state status:
    case Facts.Off{} _:Facts.Off{}
    case state W.Accepted{}:deferred(~S,state,key,Facts.ApplyOperation{},target,Facts.Applied{})
    case state W.Rejected{why}:deferred(~S,state,key,Facts.ApplyOperation{},target,Facts.Refused{error(why)})

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_facts.bend&name=FactResult
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_facts.bend&name=Operation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_facts.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_world.bend&name=deferred
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_world.bend&name=error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Handle
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Status