resource_field_binding.bend
bendvy-ecs-core@0.1.0.0 · 50 lines · 0 definitions
1import Base
2import bendvy-ecs-core@0.1.0.0/ordinary_schema.bend as Schema
3import bendvy-ecs-core@0.1.0.0/schema_fragments.bend as Fragment
4import bendvy-ecs-core@0.1.0.0/owner_product.bend as Product
5# Ordinary declaration tree. Physical ownership and index shape are both typed.
6type Branch<-L:Data,-R:Data> is Data:
7 Branch{left:L,right:R}
8type Built<-S:Data,-R:Type,-Index:Data> is Data:
9 Built{entries:List<&2,Fragment.Entry<S>>,index:Index}
10def leaf(~S:Data,~P:Type,+identity:Schema.Resource<S,P>) -> Built<S,P,Schema.Resource<S,P>>:
11 Built{Schema.entries(~S,~Unit,~P,Schema.resource_schema(~S,~P,identity)),identity}
12def joined(~S:Data,~L:Type,~R:Type,~LI:Data,~RI:Data,left:Built<S,L,LI>,right:Built<S,R,RI>) -> Built<S,Product.Owner<L,R>,Branch<Built<S,L,LI>,Built<S,R,RI>>>:
13 match left right:
14 case Built{+le,+li} Built{+re,+ri}:Built{List.append(&2,Fragment.Entry<S>,le,re),Branch{Built{le,li},Built{re,ri}}}
15def entries(~S:Data,~R:Type,~I:Data,value:Built<S,R,I>) -> List<&2,Fragment.Entry<S>>:
16 match value:
17 case Built{entries,_}:entries
18def validate(~S:Data,~R:Type,~I:Data,value:Built<S,R,I>) -> Fragment.Validation:
19 Fragment.validate(~S,entries(~S,~R,~I,value))
20def whole_take(~P:Type,value:P) -> Unit & P:
21 (Unit{},value)
22def whole_put(~P:Type,rest:Unit,value:P) -> P:
23 value
24def whole(~P:Type) -> Product.Lens<P,P,Unit>:
25 Product.Lens{whole_take(~P),whole_put(~P)}
26# Erased canonical lens; no closure/payload is retained in the runtime cursor.
27type Cursor<-S:Data,-W:Type,-P:Type,-Rest:Type,-I:Data,-lens:Product.Lens<W,P,Rest>> is Data:
28 Cursor{index:I}
29def root(~S:Data,~R:Type,~I:Data,value:Built<S,R,I>) -> Cursor<S,R,R,Unit,I,whole(~R)>:
30 match value:
31 case Built{_,index}:Cursor{index}
32def left_lens(~W:Type,~L:Type,~R:Type,~Rest:Type,~outer:Product.Lens<W,Product.Owner<L,R>,Rest>) -> Product.Lens<W,L,Rest & R>:
33 Product.compose(~W,~Product.Owner<L,R>,~Rest,~L,~R,~outer,~Product.lens(~L,~R,~Product.Left{}))
34def right_lens(~W:Type,~L:Type,~R:Type,~Rest:Type,~outer:Product.Lens<W,Product.Owner<L,R>,Rest>) -> Product.Lens<W,R,Rest & L>:
35 Product.compose(~W,~Product.Owner<L,R>,~Rest,~R,~L,~outer,~Product.lens(~L,~R,~Product.Right{}))
36def left(~S:Data,~W:Type,~L:Type,~R:Type,~Rest:Type,~LI:Data,~RI:Data,~outer:Product.Lens<W,Product.Owner<L,R>,Rest>,value:Cursor<S,W,Product.Owner<L,R>,Rest,Branch<Built<S,L,LI>,Built<S,R,RI>>,outer>) -> Cursor<S,W,L,Rest & R,LI,left_lens(~W,~L,~R,~Rest,~outer)>:
37 match value:
38 case Cursor{Branch{Built{_,index},_}}:Cursor{index}
39def right(~S:Data,~W:Type,~L:Type,~R:Type,~Rest:Type,~LI:Data,~RI:Data,~outer:Product.Lens<W,Product.Owner<L,R>,Rest>,value:Cursor<S,W,Product.Owner<L,R>,Rest,Branch<Built<S,L,LI>,Built<S,R,RI>>,outer>) -> Cursor<S,W,R,Rest & L,RI,right_lens(~W,~L,~R,~Rest,~outer)>:
40 match value:
41 case Cursor{Branch{_,Built{_,index}}}:Cursor{index}
42def identity(~S:Data,~W:Type,~P:Type,~Rest:Type,~lens:Product.Lens<W,P,Rest>,value:Cursor<S,W,P,Rest,Schema.Resource<S,P>,lens>) -> Schema.Resource<S,P>:
43 match value:
44 case Cursor{identity}:identity
45# Identity and canonical physical path are compile-time indices of the binding.
46# Raw constructors remain trusted; application systems receive opaque grants.
47type Binding<-S:Data,-W:Type,-P:Type,-Rest:Type,-lens:Product.Lens<W,P,Rest>,-identity:Schema.Resource<S,P>> is Data:
48 Binding{}
49def bind(~S:Data,~W:Type,~P:Type,~Rest:Type,~lens:Product.Lens<W,P,Rest>,~cursor:Cursor<S,W,P,Rest,Schema.Resource<S,P>,lens>) -> Binding<S,W,P,Rest,lens,identity(~S,~W,~P,~Rest,~lens,cursor)>:
50 Binding{}