def narrow

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

import Base
import bendvy-ecs-core@0.1.0.3/execution_access.bend as Access

38def narrow(~S:Data,~K:Data,~H:Type,~P:Type,~V:Data,~Move:Data,~equal:V -> V -> Bool,~endpoints:Move -> V & V,~update:V -> P -> P & V,cap:Access.ComponentWrite<S,H,P,V>) -> Operations<S,K,V,Move,H>:
39  match cap:
40    case Access.ComponentWrite{_,modify,get}:Operations{move(~S,~H,~P,~V,~Move,~equal,~endpoints,~update,get,modify)}