OrdinaryAppSchedule.ConditionedApplication: type of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend as OrdinaryAppSchedule Lines 102-107 of bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend&start_line=102&end_line=107 import Base import bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend as Comp import ordinary_app_registration_fields.bend as Records import ordinary_app_observation_data.bend as DTO import world.bend as W # Stateful guards are retained beside the same ordinary App, not in its resources. # Scheduled application retaining affine condition bindings beside system # owners, outside resource storage. Guard state is returned with the App, # including skip/failure; it is not reset by rolling back a system transaction. type ConditionedApplication -> W.World & DTO.Observation,-fold:H -> H & List<&2,Records.Fields>,B:Type,-select:B -> W.World -> U32 -> Comp.Evaluation,B>> is Type: ConditionedApplication{app:Application,bindings:Comp.Bindings,B,select>} Uses (9): 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=U32 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_registration_fields.bend&name=Fields https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend&name=Application https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&name=Bindings https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend&name=Evaluation https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World