~/jendhub

def replace

bendvy-ecs-core@0.1.0.4 · recoverable_array_owner.bend:25

import bendvy-ecs-core@0.1.0.4/recoverable_array_owner.bend as RecoverableArrayOwner
import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/recoverable_array.bend as A
import bendvy-ecs-core@0.1.0.4/recoverable_owner.bend as Owner
import bendvy-ecs-core@0.1.0.4/recovery_journal.bend as Journal

25def replace(~State:Type,~P:Type,~Rest:Type,~lens:Product.Lens<State,Array<P>,Rest>,~Recovery:Type,~ReleasedRest:Type,~release:Product.Lens<Recovery,List<A.Record<P>>,ReleasedRest>,state:State,journal:List<Journal.Action(~State,~Recovery)>,replacement:Array<P>) -> State & List<Journal.Action(~State,~Recovery)>:
26  replaced(~State,~P,~Rest,~lens,~Recovery,~ReleasedRest,~release,journal,Owner.exchange(~State,~Array<P>,~Rest,~lens,state,replacement))

Uses (8)

Used by (5)