def completed_positions

bendvy-ecs-core@0.1.0.4 · event_stream.bend:67

import bendvy-ecs-core@0.1.0.4/event_stream.bend as EventStream
import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev

67def completed_positions(success:Bool,+positions:List<&2,Ev.Position>,+id:U32,+tick:Nat) -> List<&2,Ev.Position>:
68  match success:
69    case False{}:Ev.activate(positions,id,Nat.sub(tick,1n))
70    case True{}:Ev.update(Ev.activate(positions,id,Nat.sub(tick,1n)),id,tick,False{})

Uses (8)

Used by (1)