type Registered

bendvy-ecs-core@0.1.0.4 · ordinary_app_composer.bend:7

import Base
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_recipe.bend as Tree
import bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend as DTO

7# Affine App carrier retaining actual World, heterogeneous registration owners,
8# observation recipe and debug flag. observe/fold are trusted closed setup adapters;
9# metadata and detached observations do not themselves grant gameplay operations.
10type Registered<S:Data,World:Type,Owners:Type,Rows:Data,-observe:World -> World & DTO.Observation<Rows>,-fold:Owners -> Owners & List<&2,Records.Fields<S>>> is Type:
11  Registered{world:World,owners:Owners,recipe:Tree.Recipe<World,Rows,observe>,debug:Bool}