def apply

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

import Base
import capabilities.bend as Cap

19def apply(~H: Type,~Value: Data,~WriteError: Data,~write: Cap.Request<H,Value,WriteStatus<WriteError>>,+expected: Value,+target: Value,+actual: Value,owner: H,same: Bool) -> H & Outcome<Value,WriteError>:
20  match same:
21    case False{}: (owner,StateMismatch{expected,actual})
22    case True{}: move_written(~H,~Value,~WriteError,Cap.request(~H,~Value,~WriteStatus<WriteError>,~write,owner,target))