def checked_write

bendvy-ecs-core@0.1.0.3 · execution_machine_access.bend:35

import Base
import bendvy-ecs-core@0.1.0.3/execution_machine_state.bend as State
import bendvy-ecs-core@0.1.0.3/execution_access.bend as A

35def checked_write(-S:Data,-K:Data,-V:Data,-H:Type,-P:Type,-View:Data,payload:{P == State.Cell<S,K,V> : Type},view:{View == State.View<S,K,V> : Data},cap:A.ResourceWrite<H,P,View>) -> A.ResourceWrite<H,State.Cell<S,K,V>,State.View<S,K,V>>:
36  %payload : A.ResourceWrite<H,_,State.View<S,K,V>>
37  %view : A.ResourceWrite<H,P,_>
38  cap