ordinary_app_schema_product.bend
bendvy-ecs-core@0.1.0.1 · 53 lines · 0 definitions
1import Base
2import bendvy-ecs-core@0.1.0.1/ordinary_schema.bend as Schema
3import bendvy-ecs-core@0.1.0.1/ordinary_declaration.bend as Identity
4import bendvy-ecs-core@0.1.0.1/ordinary_component_binding.bend as Component
5import bendvy-ecs-core@0.1.0.1/resource_field_binding.bend as Resource
6import bendvy-ecs-core@0.1.0.1/owner_product.bend as Product
7import bendvy-ecs-core@0.1.0.1/column.bend as Col
8# The physical product paths follow the ordinary component/resource schema tree.
9# Applications supply identities and opaque-value projections, not debug lenses.
10# Trusted setup identities for this fixed one-component, one-resource schema.
11type Declarations<-S:Data,-Payload:Type,-Counter:Type> is Data:
12 Declarations{component:Identity.Declaration<S,Payload>,resource:Schema.Resource<S,Counter>}
13# Nominal component-binding token; it carries no payload or runtime permission.
14type Token<-S:Data,-Payload:Type> is Data:
15 Token{}
16# Physical component owner type for this fixed schema adapter.
17def store(~S:Data,~Payload:Type) -> Type:
18 Product.Owner<Col.Column<S,Payload>,Unit>
19# Physical resource owner type for this fixed schema adapter.
20def resources(~Counter:Type) -> Type:
21 Product.Owner<Unit,Counter>
22# Assemble the component/resource schema from their supplied identities.
23# This adapter fixes product paths; it is not a general schema generator.
24def schema(~S:Data,~Payload:Type,~Counter:Type,declarations:Declarations<S,Payload,Counter>) -> Schema.Schema<S,store(~S,~Payload),resources(~Counter)>:
25 match declarations:
26 case Declarations{component,resource}:Schema.product(~S,~Col.Column<S,Payload>,~Unit,~Unit,~Counter,Schema.component(~S,~Payload,component),Schema.resource_schema(~S,~Counter,resource))
27# Trusted product projection: consume the store and return its remainder and
28# component column for reassembly with component_put.
29def component_take(~S:Data,~Payload:Type,value:store(~S,~Payload)) -> Unit & Col.Column<S,Payload>:
30 Product.take(~Col.Column<S,Payload>,~Unit,Product.Left{},value)
31# Reassemble the store from the projected remainder and component column.
32def component_put(~S:Data,~Payload:Type,rest:Unit,value:Col.Column<S,Payload>) -> store(~S,~Payload):
33 Product.put(~Col.Column<S,Payload>,~Unit,Product.Left{},rest,value)
34# Recover the component declaration used by this schema adapter.
35def component_identity(~S:Data,~Payload:Type,~Counter:Type,declarations:Declarations<S,Payload,Counter>) -> Identity.Declaration<S,Payload>:
36 match declarations:
37 case Declarations{identity,_}:identity
38# Build the component binding for the fixed product path. The supplied view
39# is a trusted affine payload projection returning an owner and detached Data;
40# this constructor does not establish projection purity or owner identity.
41def component_binding(~S:Data,~Payload:Type,~Counter:Type,~V:Data,~view:Payload -> Payload & V,~declarations:Declarations<S,Payload,Counter>) -> Component.Binding<S,store(~S,~Payload),Unit,Payload,V,Token<S,Payload>,component_take(~S,~Payload),component_put(~S,~Payload),view>:
42 Component.bind(~S,~store(~S,~Payload),~Unit,~Payload,~V,~Token<S,Payload>,~component_take(~S,~Payload),~component_put(~S,~Payload),~view,component_identity(~S,~Payload,~Counter,declarations))
43# Recover the resource declaration used by this schema adapter.
44def resource_identity(~S:Data,~Payload:Type,~Counter:Type,declarations:Declarations<S,Payload,Counter>) -> Schema.Resource<S,Counter>:
45 match declarations:
46 case Declarations{_,identity}:identity
47# Trusted lens selecting the resource in the fixed right product field.
48def counter_lens(~Counter:Type) -> Product.Lens<resources(~Counter),Counter,Unit>:
49 Product.lens(~Unit,~Counter,~Product.Right{})
50# Build the resource binding from the fixed lens and supplied declaration.
51# This setup binding does not itself grant a system read or write access.
52def resource_binding(~S:Data,~Payload:Type,~Counter:Type,~declarations:Declarations<S,Payload,Counter>) -> Resource.Binding<S,resources(~Counter),Counter,Unit,counter_lens(~Counter),resource_identity(~S,~Payload,~Counter,declarations)>:
53 Resource.Binding{}