~/jendhub

def recovered

bendvy-ecs-core@0.1.0.4 · owned_event_journal.bend:13

import bendvy-ecs-core@0.1.0.4/owned_event_journal.bend as OwnedEventJournal
import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

13def recovered(~P:Type,~All:Type,~Rest:Type,~path:Product.Lens<All,List<P>,Rest>,payload:P,parts:Rest & List<P>) -> All:
14  match parts:
15    case (rest,values):Product.put_field(~All,~List<P>,~Rest,path)(rest,List.append(&1,P,values,[payload]))

Uses (6)

Used by (1)