def endpoints_observed

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

import Base
import bendvy-ecs-core@0.1.0.3/state.bend as State
import bendvy-ecs-core@0.1.0.3/component.bend as Component
import bendvy-ecs-core@0.1.0.3/capabilities.bend as Cap

29def endpoints_observed(~S:Data,~H:Type,~P:Type,~V:Data,~equal:V -> V -> Bool,~update:V -> P -> P & V,owner:MoveOwner<S,H,P,V>,actual:Component.Access<V>,endpoints:V & V) -> H & State.Outcome<V,Unit>:
30  match endpoints:
31    case (expected,target):completed(~S,~H,~P,~V,State.observed(~MoveOwner<S,H,P,V>,~V,~Unit,~equal,~Cap.Request{write_owner(~S,~H,~P,~V,~update)},expected,target,(owner,actual)))