def move_written

bendvy-ecs-core@0.1.0.3 · state.bend:15

import bendvy-ecs-core@0.1.0.3/state.bend as State

import Base

15def move_written(~H: Type,~Value: Data,~WriteError: Data,pair: H & WriteStatus<WriteError>) -> H & Outcome<Value,WriteError>:
16  match pair:
17    case (owner,WriteAccepted{}): (owner,StateMoved{})
18    case (owner,WriteRejected{error}): (owner,StateWriteRejected{error})

Uses (4)

Used by (1)

bendvy-ecs-core@0.1.0.3/state:apply