def insertion_slot

bendvy-ecs-core@0.1.0.4 · ordinary_machine_initialization.bend:38

import Base
import bendvy-ecs-core@0.1.0.4/machine.bend as M

38def insertion_slot(~S:Data,~K:Data,~V:Data,value:V,old:M.Slot<S,K,V>) -> M.Slot<S,K,V>:
39  match old:
40    case M.Missing{}:M.Present{value,M.NoPending{},None{},True{}}
41    case M.Present{_,pending,previous,_}:M.Present{value,pending,previous,True{}}