ExecutionGeneralizedCommandLeaf.define_inspected: def of bendvy-ecs-core@0.1.0.3 Import: import bendvy-ecs-core@0.1.0.3/execution_generalized_command_leaf.bend as ExecutionGeneralizedCommandLeaf Lines 30-33 of bendvy-ecs-core@0.1.0.3/execution_generalized_command_leaf.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_generalized_command_leaf.bend&start_line=30&end_line=33 import Base import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L import bendvy-ecs-core@0.1.0.3/execution_command_system.bend as Cmd import bendvy-ecs-core@0.1.0.3/execution_command_local.bend as Local import bendvy-ecs-core@0.1.0.3/execution_command_removed.bend as Removed import bendvy-ecs-core@0.1.0.3/execution_system.bend as Sys import bendvy-ecs-core@0.1.0.3/execution_system_registration.bend as Registration import bendvy-ecs-core@0.1.0.3/world.bend as W def define_inspected(~S:Data,~components:L.Layout,~resources:L.Layout,~E:Data,~route:L.Route,~Ops:Data -> (Type -> Type) -> Type -> Type -> Type,~User:Type,~Error:Data,~Out:Data,~declaration:Cmd.Program(~S,~L.columns(~S,components),~L.resources(~S,resources),~components,~resources,~route,~Ops),~body:Cmd.Body(~S,~components,~resources,~route,~Ops,~User,~Error,~Out),world:W.World,name:String,user:User,observed:Compilation(~S,~components,~resources,~route,~Ops) & Cmd.CheckedPermission) -> Compilation(~S,~components,~resources,~route,~Ops) & Sys.Defined,Owner(~S,~components,~resources,~E,~route,~Ops,~User,~Error,~Out,~declaration,~body),Cmd.Captures(~S,~components,~resources,~route,~User)>: match observed: case (compilation,Cmd.UnsupportedPermission{permission,_}):(compilation,Sys.DefinitionRefused{world,Local.fresh(~S,~L.payload(components,route),~Removed.Removed(components),~User,user,permission)}) case (compilation,Cmd.ReadyPermission{permission,_}):defined(~S,~components,~resources,~E,~route,~Ops,~User,~Error,~Out,~declaration,~body,Registration.define_with_compilation(~S,~L.columns(~S,components),~L.columns(~S,components),~L.resources(~S,resources),~E,~Cmd.ScopedOps(~S,~components,~resources,~route,~Ops),~Cmd.Captures(~S,~components,~resources,~route,~User),~Error,~Out,~Cmd.program_for_buffer(~S,~L.columns(~S,components),~L.resources(~S,resources),~components,~resources,~route,~Ops,~declaration),~Cmd.runner(~S,~components,~resources,~route,~Ops,~User,~Error,~Out,~body),~L.resources(~S,resources),compilation,world,name,Local.fresh(~S,~L.payload(components,route),~Removed.Removed(components),~User,user,permission))) Uses (23): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_local.bend&name=fresh https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_removed.bend&name=Removed https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=Body https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=Captures https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=CheckedPermission https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=Program https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=ScopedOps https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=program_for_buffer https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_system.bend&name=runner https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Layout https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Route https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=columns https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=payload https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=resources https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_generalized_command_leaf.bend&name=Compilation https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_generalized_command_leaf.bend&name=Owner https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_generalized_command_leaf.bend&name=defined https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_system.bend&name=Defined https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_system_registration.bend&name=define_with_compilation https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=World