type Replacement

bendvy-ecs-core@0.1.0.4 · component.bend:27

import Base
import world.bend as W

27# Immediate replacement result retaining World in every branch. Replaced returns
28# the displaced actual payload owner; rejection returns the incoming optional owner
29# and error. Neither Type payload is copied into detached observation data.
30type Replacement<W: Type,C: Type> is Type:
31  Replaced{world: W,previous: Maybe<&1,C>}
32  ReplaceRejected{world: W,incoming: Maybe<&1,C>,error: W.WorldError}