def resource_modify_field

bendvy-ecs-core@0.1.0.3 · execution_access.bend:111

import bendvy-ecs-core@0.1.0.3/execution_access.bend as ExecutionAccess
import 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.