def component_schema

bendvy-ecs-core@0.1.0.4 · ordinary_binding_provision.bend:112

import Base
import bendvy-ecs-core@0.1.0.4/column.bend as Col
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema
import bendvy-ecs-core@0.1.0.4/ordinary_schema_provision.bend as Ordinary
import bendvy-ecs-core@0.1.0.4/ordinary_schema_dump.bend as Dump

112# Rebase existing operational schema entries onto the SAME aggregate owner.
113# Trusted advanced adapter rebasing a schema onto matching aggregate
114# storage/display callbacks. Caller must preserve entry/slot consistency;
115# metadata alone does not prove lens identity or create component authority.
116def component_schema(~S:Data,~C:Type,~Rest:Type,~P:Type,~V:Data,~Token:Data,~take:C -> Rest & Col.Column<S,P>,~put:Rest -> Col.Column<S,P> -> C,~view:P -> P & V,~render:V -> String,~empty:Unit -> C,schema:Schema.Schema<S,Col.Column<S,P>,Unit>) -> Dump.Provision<S,C,Unit,empty,count(~S,~C,~Rest,~P,~take,~put),values(~S,~C,~Rest,~P,~V,~take,~put,~view,~render),no_resource>:
117  match schema:
118    case Schema.Schema{entries}:Dump.Provision{Ordinary.Provision{Schema.Schema{entries}}}