def component_constructed

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

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/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_declaration.bend as Identity

78# Declare a component provision with constructed persistence classification
79# from its identity-bound extension. Derives matching empty/count operations;
80# does not execute codecs, validate saved input or construct payload values.
81def component_constructed(~S:Data,~P:Type,~identity:Identity.Declaration<S,P>,~project:P -> P & D.Raw,extension:Persist.Constructed<S,P,identity,project>) -> Provision<S,Col.Column<S,P>,Unit,component_empty(~S,~P),component_count(~S,~P)>:Provision{Schema.component_constructed(~S,~P,~identity,~project,extension)}