def sized

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

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/recovery_journal.bend as Journal

37def sized(~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>,rest:Rest,journal:List<Journal.Action(~State,~Recovery)>,+index:U32,replacement:P,result:Array<P> & U32) -> Attempt<State,Recovery,P>:
38  match result:
39    case (array,size):bounded(~State,~P,~Rest,~lens,~Recovery,~ReleasedRest,~release,U32.is_lt(index,size),rest,array,journal,index,replacement)