def resource_own_at_field

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

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

125def resource_own_at_field(~H:Type,~P:Type,~V:Data,-Out:Type,cap:ResourceWrite<H,P,V>) -> (Tick.Tick -> P -> P & Out) -> H -> H & Out:
126  match cap:
127    case ResourceWrite{_,_,_,own_at}:own_at(Out)

Uses (3)

Used by (0)

No other definition uses this definition.