def view_reader

bendvy-ecs-core@0.1.0.3 · execution_relation_failure_provider.bend:25

import Base
import bendvy-ecs-core@0.1.0.3/execution_relation_store.bend as Store
import bendvy-ecs-core@0.1.0.3/relation_types.bend as T
import bendvy-ecs-core@0.1.0.3/execution_resource_access.bend as ResourceAccess

25def view_reader(~S:Data,~descriptor:T.Descriptor<S>,~H:Type,~V:Data,view:{V == Store.View<S,descriptor> : Data},cap:ResourceAccess.Reader<H,V>) -> ResourceAccess.Reader<H,Store.View<S,descriptor>>:
26  %view : ResourceAccess.Reader<H,_>
27  cap