def put
import bendvy-ecs-core@0.1.0.4/world_resource_owner.bend as WorldResourceOwnerimport Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
13def put(~S:Data,~C:Type,~R:Type,~E:Data,rest:Rest<S,C,R,E>,resource:R) -> W.World<S,C,R,E>:
14 match rest:
15 case Rest{ns,allocator,store,events,pending,regs,sid,clock}:W.World{ns,allocator,store,resource,events,pending,regs,sid,clock}
Uses (2)
Used by (5)
- bendvy-ecs-core@0.1.0.4/world_resource_owner:lens
- bendvy-ecs-core@0.1.0.4/owned_event_family_maintenance:resource_returned
- bendvy-ecs-core@0.1.0.4/owned_event_family_storage:log_returned
- bendvy-ecs-core@0.1.0.4/owned_event_storage:resources_returned
- bendvy-ecs-core@0.1.0.4/restore_graph_runtime_state:drained