RecognizedAppComponent.execution_observe: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/recognized_app_component.bend as RecognizedAppComponent Lines 114-117 of bendvy-ecs-core@0.1.0.4/recognized_app_component.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/recognized_app_component.bend&start_line=114&end_line=117 import Base import bendvy-ecs-core@0.1.0.4/execution_context.bend as Ctx import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Records import bendvy-ecs-core@0.1.0.4/world.bend as W 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/compose.bend as Q import bendvy-ecs-core@0.1.0.4/inspector.bend as I import bendvy-ecs-core@0.1.0.4/inspector_query.bend as IQ import bendvy-ecs-core@0.1.0.4/ordinary_query_observable.bend as O import bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend as DTO import bendvy-ecs-core@0.1.0.4/internal/ordinary_component_runner.bend as Generic import bendvy-ecs-core@0.1.0.4/ordinary_app_component.bend as Legacy import bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend as Recognized import bendvy-ecs-core@0.1.0.4/recognized_system.bend as RecognizedSystem # Advanced App-composition projection of the owner-preserving observer. # It combines earlier observations with this leaf's supplied inspection query. def execution_observe(~S:Data,~C:Type,~R:Type,~E:Data,~Owners:Type,~Rows:Data,~observe:W.World -> W.World & DTO.Observation,~fold:Owners -> Owners & List<&2,Records.Fields>,~PriorError:Data,~priorPlan:Owners -> Owners & SP.Plan,~priorDispatch:Owners -> Ctx.Context> -> U32 -> Owners & Sys.Outcome>,PriorError,Unit>,~priorProvide:W.World -> W.World & List<&2,SP.Requirement>,~Ops:Type -> Type,~Args:Data,~Error:Data,~Out:Data,~Value:Data,~query:O.Declaration,Ops(Q.Frame),I.Frame,Value>,~recognized:Recognized.Declaration,~body:@-H:Type -> @-caps:Ops(H) -> Args -> H -> H & (T.Outcome & Out),~render:Value -> String) -> W.World -> W.World & DTO.Observation>>>>: Generic.execution_observe(~S,~C,~R,~E,~Owners,~Rows,~observe,~fold,~PriorError,~priorPlan,~priorDispatch,~priorProvide,~Ops,~Args,~Error,~Out,~Value,~query,~body,~RecognizedSystem.runner(~S,~C,~R,~E,~Ops,~Args,~Error,~Out,~recognized,~body),~RecognizedSystem.define(~S,~C,~R,~E,~Ops,~Args,~Error,~Out,~recognized,~body),~execute(~S,~C,~R,~E,~Ops,~Args,~Error,~Out,~Value,~query,~recognized,~body),~ExecutionError(Error),~callback_failure(~Error),~Legacy.RegistrationRefused{},~render) Uses (26): 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=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 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/compose.bend&name=Frame https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/execution_context.bend&name=Context https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector.bend&name=Frame https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query.bend&name=ProjectedRow https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/ordinary_component_runner.bend&name=execution_observe https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_component.bend&name=ExecutionError https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend&name=Observation https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend&name=Product https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend&name=Fields https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_query_observable.bend&name=Declaration https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_app_component.bend&name=ExecutionError https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_app_component.bend&name=callback_failure https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_app_component.bend&name=execute https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_query_declaration.bend&name=Declaration https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_system.bend&name=define https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recognized_system.bend&name=runner https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule_provision.bend&name=Plan https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule_provision.bend&name=Requirement 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