ResourceField.tx_set: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/resource_field.bend as ResourceField
Lines 36-38 of bendvy-ecs-core@0.1.0.4/resource_field.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/resource_field.bend&start_line=36&end_line=38

import Base
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

def tx_set(~S:Data,~C:Type,~R:Type,~E:Data,~P:Type,~Rest:Type,~lens:Product.Lens<R,P,Rest>,tx:T.Tx<W.World<S,C,R,E>,E>,replacement:P) -> T.Tx<W.World<S,C,R,E>,E>:
  match tx:
    case T.Tx{world,undo,commands,events,trace}:journaled(~S,~C,~R,~E,~P,~Rest,~lens,undo,commands,events,trace,replace_world(~S,~C,~R,~E,~P,~Rest,~lens,replacement,world))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=Lens
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/resource_field.bend&name=journaled
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/resource_field.bend&name=replace_world
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Tx
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World