def resources

bendvy-ecs-core@0.1.0.4 · restore_storage.bend:54

import Base
import bendvy-ecs-core@0.1.0.4/restore_leaf.bend as Stage
import bendvy-ecs-core@0.1.0.4/snapshot_leaf.bend as Leaf
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D

54def resources(~S:Data,~Context:Type,~I:Type,~P:Type,~identity:Identity.Declaration<S,P>,~project:P -> P & D.Raw,owner:Leaf.Resource<S,P,identity,project>,state:Stage.State<Context,I,P>) -> Leaf.Resource<S,P,identity,project> & Stage.State<Context,I,P>:
55  match owner state:
56    case Leaf.Resource{owner,declaration} Stage.State{context,records,returned,removed,applied}:resource_join(~S,~Context,~I,~P,~identity,~project,declaration,resource_records(~Context,~I,~P,List.reverse(&1,Stage.Record<I,P>,records),Stage.State{context,[],returned,removed,applied},owner))