~/jendhub

def resource_read

bendvy-ecs-core@0.1.0.3 · check.bend:66

import bendvy-ecs-core@0.1.0.3/check.bend as Check
import Base
import world.bend as W

66def resource_read(~S:Data,~Store:Type,~R:Type,~E:Data,~V:Data,~project:R -> R & V,frame:Frame<S,Store,R,E>) -> Frame<S,Store,R,E> & V:
67  match frame:
68    case Frame{world}:resource_done(~S,~Store,~R,~E,~V,W.observe_resource(~S,~Store,~R,~E,~V,~project,world))

Uses (4)

Used by (1)