def transition

bendvy-ecs-core@0.1.0.3 · state.bend:33

import Base
import capabilities.bend as Cap

33def transition(~H: Type,~Value: Data,~Move: Data,~WriteError: Data,~equal: Value -> Value -> Bool,~endpoints: Move -> Value & Value,~read: Cap.Read<H,Value>,~write: Cap.Request<H,Value,WriteStatus<WriteError>>,owner: H,move: Move) -> H & Outcome<Value,WriteError>:
34  with_endpoints(~H,~Value,~WriteError,~equal,~read,~write,owner,endpoints(move))