def with_resource_constructed

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

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_declaration.bend as Identity
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
import bendvy-ecs-core@0.1.0.4/ordinary_schema_dump.bend as Dump

137# Extend dump provisioning with a constructed resource declaration and its
138# owner-preserving presentation. Uses the identity-bound persistence extension;
139# creates metadata/slots, not a resource payload or a saved value.
140def with_resource_constructed(~S:Data,~C:Type,~R:Type,~empty:Unit -> C,~count:C -> List<&2,W.Handle<S>> -> C & List<&2,Maybe<&2,U32>>,~read:C -> U32 -> C & List<&2,Maybe<&2,String>>,~before:Unit -> Unit & List<&2,Maybe<&2,String>>,~show:R -> R & String,~identity:Identity.Declaration<S,R>,~project:R -> R & D.Raw,extension:Persist.Constructed<S,R,identity,project>,base:Dump.Provision<S,C,Unit,empty,count,read,before>) -> Dump.Provision<S,C,R,empty,resource_count(~S,~C,~count),resource_values(~C,~read),resources(~R,~before,~show)>:resource_schema(~S,~C,~R,~empty,~count,~read,~before,~show,Schema.resource_constructed(~S,~R,~identity,~project,extension),base)