type Application

bendvy-ecs-core@0.1.0.4 · ordinary_app_population.bend:14

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema
import bendvy-ecs-core@0.1.0.4/ordinary_app_schema.bend as SchemaApp
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Records
import bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend as DTO

14# Existing Schema/App types remain unchanged. There is one retained Schema.
15# Ordinary schema App with a closed matching population-count operation.
16# Retains actual World/system owners; no duplicate schema or payload is stored.
17type Application<S:Data,C:Type,R:Type,E:Data,H:Type,Rows:Data,-observe:W.World<S,C,R,E> -> W.World<S,C,R,E> & DTO.Observation<Rows>,-fold:H -> H & List<&2,Records.Fields<S>>,-count:C -> List<&2,W.Handle<S>> -> C & List<&2,Maybe<&2,U32>>> is Type:
18  Application{app:SchemaApp.Application<S,C,R,E,H,Rows,observe,fold>}