OrdinaryRecoverableComponentCapture.runner: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/ordinary_recoverable_component_capture.bend as OrdinaryRecoverableComponentCapture Lines 82-84 of bendvy-ecs-core@0.1.0.4/ordinary_recoverable_component_capture.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_recoverable_component_capture.bend&start_line=82&end_line=84 import Base import bendvy-ecs-core@0.1.0.4/world.bend as W import bendvy-ecs-core@0.1.0.4/column.bend as Col import bendvy-ecs-core@0.1.0.4/system.bend as Sys import bendvy-ecs-core@0.1.0.4/transaction.bend as T import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Declaration import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product import bendvy-ecs-core@0.1.0.4/ordinary_recoverable_array_resource.bend as O import bendvy-ecs-core@0.1.0.4/recoverable_array.bend as A import bendvy-ecs-core@0.1.0.4/recoverable_component.bend as RC def runner(~S:Data,~P:Type,~Q:Type,~R:Type,~E:Data,~identity:Declaration.Declaration,~Args:Type,~Error:Data,~Out:Type,~body:@-H:Type -> @-caps:Ops(~S,~P,~Q,~identity,H) -> Args -> H -> H & (T.Outcome & Out),world:W.World,R,E>,request:Request) -> Sys.Outcome,R,E>,Unit,Reply>: match request: case Request{args,capture}:returned(~S,~P,~Q,~R,~E,~Error,~Out,body(O.Frame,R,E>,Array>,Product.Owner>,List>>>,grant(~S,~P,~Q,~R,~E,~identity),args,O.Frame{Product.Owner{world,capture},[]})) Uses (18): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/column.bend&name=Column https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend&name=Declaration https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_recoverable_array_resource.bend&name=Frame https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_recoverable_component_capture.bend&name=Ops https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_recoverable_component_capture.bend&name=Reply https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_recoverable_component_capture.bend&name=Request https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_recoverable_component_capture.bend&name=grant https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_recoverable_component_capture.bend&name=returned https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=Owner https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_array.bend&name=Record https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_component.bend&name=Record https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/system.bend&name=Outcome https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Outcome https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World