~/jendhub

def write_result

bendvy-ecs-core@0.1.0.3 · execution_machine_component.bend:18

import bendvy-ecs-core@0.1.0.3/execution_machine_component.bend as ExecutionMachineComponent
import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/state.bend as State

18def write_result(~S:Data,~H:Type,~P:Type,~V:Data,handle:W.Handle<S>,result:H & Maybe<&2,V>) -> MoveOwner<S,H,P,V> & State.WriteStatus<Unit>:
19  match result:
20    case (scope,None{}):(MoveOwner{scope,handle,None{}},State.WriteRejected{Unit{}})
21    case (scope,Some{_}):(MoveOwner{scope,handle,None{}},State.WriteAccepted{})

Uses (7)

Used by (1)