def resource_own_field

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

import bendvy-ecs-core@0.1.0.3/execution_access.bend as ExecutionAccess

import Base

121def resource_own_field(~H:Type,~P:Type,~V:Data,-Out:Type,cap:ResourceWrite<H,P,V>) -> (P -> P & Out) -> H -> H & Out:
122  match cap:
123    case ResourceWrite{_,_,own,_}:own(Out)

Uses (2)

Pair
bendvy-ecs-core@0.1.0.3/execution_access:ResourceWrite

Used by (0)

No other definition uses this definition.