def attach_marked

bendvy-ecs-core@0.1.0.4 · row_column.bend:41

import Base
import column.bend as Col
import lifecycle.bend as L

41# Even a malformed token's attachment refusal returns its actual incoming owner.
42# Trusted row adapters must handle this outcome before exposing a World.
43def attach_marked(~S:Data,~C:Type,+id:U32,stamp:L.Stamp,dirty:Bool,result:Col.SwapOutcome<S,C>) -> Col.SwapOutcome<S,C>:
44  match dirty result:
45    case False{} result: result
46    case True{} Col.Accepted{column,previous}: Col.Accepted{Col.restore_stamp(~S,~C,column,id,stamp),previous}
47    case True{} Col.Rejected{column,incoming}: Col.Rejected{column,incoming}