type Operations

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

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

8# Existing State.observed compares declared endpoints against the immediate
9# canonical checked read before deciding whether to invoke a canonical modifier.
10# No payload owner or raw replacement operation is returned to an ordinary body.
11type Operations<-S:Data,-K:Data,-V:Data,-Move:Data,-H:Type> is Type:
12  Operations{move:H -> W.Handle<S> -> Move -> H & State.Outcome<V,Unit>}