def resource_constructed

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

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_schema.bend as Schema
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity

93# Declare a resource provision with constructed persistence classification
94# from its identity-bound extension. Derives matching empty/count operations;
95# does not execute codecs, validate saved input or construct payload values.
96def resource_constructed(~S:Data,~P:Type,~identity:Identity.Declaration<S,P>,~project:P -> P & D.Raw,extension:Persist.Constructed<S,P,identity,project>) -> Provision<S,Unit,P,resource_empty,resource_count(~S)>:Provision{Schema.resource_constructed(~S,~P,~identity,~project,extension)}