def resource_modify_field
import bendvy-ecs-core@0.1.0.3/execution_access.bend as ExecutionAccessimport Base
111def resource_modify_field(~H:Type,~P:Type,~V:Data,cap:ResourceWrite<H,P,V>) -> (P -> P & V) -> H -> H & V:
112 match cap:
113 case ResourceWrite{_,modify,_,_}:modify
Uses (2)
Used by (0)
No other definition uses this definition.