def resource_records

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

import Base
import bendvy-ecs-core@0.1.0.4/restore_leaf.bend as Stage

47def resource_records(~Context:Type,~I:Type,~P:Type,records:List<Stage.Record<I,P>>,state:Stage.State<Context,I,P>,owner:P) -> P & Stage.State<Context,I,P>:
48  match records:
49    case []:(owner,state)
50    case record <> rest:resource_next(~Context,~I,~P,owner => state => resource_records(~Context,~I,~P,rest,state,owner),resource_record(~Context,~I,~P,record,state,owner))