def move_field

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

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

41def move_field(~S:Data,~K:Data,~H:Type,~V:Data,~Move:Data,cap:Operations<S,K,V,Move,H>) -> H -> W.Handle<S> -> Move -> H & State.Outcome<V,Unit>:
42  match cap:
43    case Operations{move}:move