def declaration

bendvy-ecs-core@0.1.0.4 · ordinary_recovery_resource_field.bend:52

import Base
import bendvy-ecs-core@0.1.0.4/recovery_use.bend as Use
import bendvy-ecs-core@0.1.0.4/resource_field_binding.bend as Binding
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/ordinary_recovery_declaration.bend as D
import bendvy-ecs-core@0.1.0.4/recoverable_array.bend as A
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema

52# Derive the recoverable selected Array resource declaration from its canonical
53# Binding. Initializes empty recovery records and publishes known Write-use metadata
54# for this resource key. Shared recovery composition controls finish/undo order;
55# there is no caller-authored inverse or automatic external-effect rollback.
56# See docs/parity/recovery.md for explicit owned recovery boundaries.
57def declaration(~S:Data,~C:Type,~E:Data,~Capture:Type,~R:Type,~P:Type,~FieldRest:Type,~fieldLens:Product.Lens<R,Array<P>,FieldRest>,~identity:Schema.Resource<S,Array<P>>,~binding:Binding.Binding<S,R,Array<P>,FieldRest,fieldLens,identity>) -> D.Declaration<S,Product.Owner<W.World<S,C,R,E>,Capture>,List<A.Record<P>>,Ops(~S,~P,~identity),grant(~S,~C,~E,~Capture,~R,~P,~FieldRest,~fieldLens,~identity)>:
58  D.Described{empty(~Capture,~R,~P,~FieldRest,~fieldLens),[Schema.resource_key(~S,~Array<P>,identity)],Use.known([Use.Use{Use.Resource{Schema.resource_key(~S,~Array<P>,identity)},Use.Write{}}])}