def component_constructed

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

import Base
import bendvy-ecs-core@0.1.0.4/persistence_declaration.bend as Persist
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/ordinary_component_binding.bend as Binding
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_dump.bend as Dump

127# Build component provisioning with constructed classification from the same
128# operational binding and identity-bound persistence extension. Derives count
129# and display routes; classification does not itself execute codecs or snapshots.
130def component_constructed(~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,~binding:Binding.Binding<S,C,Rest,P,V,Token,take,put,view>,~project:P -> P & D.Raw,extension:Persist.Constructed<S,P,Binding.identity(~S,~C,~Rest,~P,~V,~Token,~take,~put,~view,binding),project>) -> 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>:component_schema(~S,~C,~Rest,~P,~V,~Token,~take,~put,~view,~render,~empty,Schema.component_constructed(~S,~P,~Binding.identity(~S,~C,~Rest,~P,~V,~Token,~take,~put,~view,binding),~project,extension))