def resource_join

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

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
import bendvy-ecs-core@0.1.0.4/persistence_declaration.bend as Decl

51def resource_join(~S:Data,~Context:Type,~I:Type,~P:Type,~identity:Identity.Declaration<S,P>,~project:P -> P & D.Raw,declaration:Decl.Constructed<S,P,identity,project>,observed:P & Stage.State<Context,I,P>) -> Leaf.Resource<S,P,identity,project> & Stage.State<Context,I,P>:
52  match observed:
53    case (owner,state):(Leaf.Resource{owner,declaration},state)