type Provision

bendvy-ecs-core@0.1.0.4 · ordinary_schema_provision.bend:10

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

10# The single ordinary Schema owns all keys. The erased traversal holds no keys,
11# presenters or payloads. Ordinary builders generate matching leaf slots/order.
12# Trusted ordinary schema setup indexed by matching storage construction
13# and population counting. Contains one schema, not live World/resource owners.
14# Raw construction must preserve entry/slot order; no lens laws are checked.
15type Provision<-S:Data,-C:Type,-R:Type,-empty:Unit -> C,-count:C -> List<&2,W.Handle<S>> -> C & List<&2,Maybe<&2,U32>>> is Data:
16  Provision{schema:Schema.Schema<S,C,R>}