~/jendhub

def recover_selected_rows

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

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

171# Partial evaluation of selected recovery's unused ID-list projection.
172# Actual affine owners and ascending Array.set writes are unchanged.
173def recover_selected_rows(-S:Data,-C:Type,rows:H.PrototypeHandoffRows<S,C>,values:Array<Maybe<&1,C>>) -> Array<Maybe<&1,C>>:
174  match rows:
175    case H.HandoffNil{}: values
176    case H.HandoffCon{+id,owner,rest}: recover_selected_rows(S,C,rest,Array.set(Maybe<&1,C>,values,U32.sub(id,1),Some{owner}))

Uses (5)

Used by (2)