def recover_past

bendvy-ecs-core@0.1.0.3 · column.bend:163

import bendvy-ecs-core@0.1.0.3/column.bend as Column

import Base

163# Recovery completes every evacuated owner before ordinary-array fallback.
164def recover_past(~S:Data,~C:Type,past:History<S,C>,values:Array<Maybe<&1,C>>) -> Array<Maybe<&1,C>>:
165  match past:
166    case HistoryNil{}: values
167    case HistoryCon{+id,owner,rest}: recover_past(~S,~C,rest,Array.set(Maybe<&1,C>,values,U32.sub(id,1),owner))

Uses (5)

Used by (2)