def with_endpoints

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

import bendvy-ecs-core@0.1.0.3/state.bend as State

import Base
import capabilities.bend as Cap

30def with_endpoints(~H: Type,~Value: Data,~WriteError: Data,~equal: Value -> Value -> Bool,~read: Cap.Read<H,Value>,~write: Cap.Request<H,Value,WriteStatus<WriteError>>,owner: H,pair: Value & Value) -> H & Outcome<Value,WriteError>:
31  (+expected,+target) = pair
32  compare_set(~H,~Value,~WriteError,~equal,~read,~write,owner,expected,target)

Uses (8)

Used by (1)

bendvy-ecs-core@0.1.0.3/state:transition