def resource_get
bendvy-ecs-core@0.1.0.4 · provider.bend:55
import bendvy-ecs-core@0.1.0.4/provider.bend as Provider
import Base
import resource.bend as Res
55def resource_get(~S: Data,~Store: Type,~R: Type,~E: Data,~RV: Data,~resource_project: R -> R & RV,frame: Frame<S,Store,R,E>) -> Frame<S,Store,R,E> & RV:
56 match frame:
57 case Frame{tx,+handle,+mainName,+auxName,+error}:
58 resource_join(~S,~Store,~R,~E,~RV,handle,mainName,auxName,error,Res.tx_get(~S,~Store,~R,~E,~RV,~resource_project,tx))