def bind

bendvy-ecs-core@0.1.0.4 · ordinary_inspector_resource.bend:21

import Base
import bendvy-ecs-core@0.1.0.4/resource_field_binding.bend as Binding
import bendvy-ecs-core@0.1.0.4/resource_field.bend as Field
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema
import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as Query
import bendvy-ecs-core@0.1.0.4/inspector.bend as Inspector

21def bind(~S:Data,~C:Type,~R:Type,~E:Data,~P:Type,~Rest:Type,~V:Data,~lens:Product.Lens<R,P,Rest>,~identity:Schema.Resource<S,P>,~binding:Binding.Binding<S,R,P,Rest,lens,identity>,~view:P -> P & V) -> Declaration<S,Inspector.Frame<S,C,R,E>,Read<S,P,identity,Inspector.Frame<S,C,R,E>,V>>:
22  Declaration{Read{Inspector.read_resource(~S,~C,~R,~E,~V,~Field.project(~R,~P,~Rest,~V,~lens,~view))},[Query.Clause{Schema.resource_key(~S,~P,identity),Query.Read{}}]}