RecognizedQueryDeclaration.resource_caps: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend as RecognizedQueryDeclaration Lines 56-60 of bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend&start_line=56&end_line=60 import Base import bendvy-ecs-core@0.1.0.4/internal/compact_operational_frame.bend as F import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap import bendvy-ecs-core@0.1.0.4/ordinary_owned_event_family_resource.bend as Resource import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product # Internal capability assembly for resource_write. Keeps the resource and Logs # owners together and uses the ordinary resource transaction bridge; this is not # a direct application resource handle or permission to bypass rollback. def resource_caps(~S:Data,~Store:Type,~R:Type,~Logs:Type,~E:Data,~V:Data,~view:R -> R & V) -> Cap.ValueWrite,E>,R,V>: Cap.ValueWrite{F.bridge_get(~S,~Store,~Product.Owner,~E,~V,~Resource.read(~S,~Store,~R,~Logs,~E,~V,~view)),F.bridge_set(~S,~Store,~Product.Owner,~E,~R,~Resource.set(~S,~Store,~R,~Logs,~E))} Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/capabilities.bend&name=ValueWrite https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/compact_operational_frame.bend&name=Frame https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/compact_operational_frame.bend&name=bridge_get https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/compact_operational_frame.bend&name=bridge_set https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_owned_event_family_resource.bend&name=read https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_owned_event_family_resource.bend&name=set https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=Owner