def replacement_present

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

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import lifecycle.bend as L

56def replacement_present(~S:Data,~C:Type,+id:U32,+stamp:L.Stamp,cold:Cold<S,C>,incoming:C,+tick:Tick.Tick,observed:Maybe<&1,C> & Bool) -> Replacement<S,C>:
57  match observed:
58    case (previous,present): Replaced{Taken{id,Some{incoming},L.after_write(True{},present,stamp,tick),True{},cold},previous,stamp}