1	import Base
2	import ./chunk_column.bend as Col
3	import ./chunk_shape.bend as Part
4	import ./execution_composer_layout.bend as L
5	import ./change_tick.bend as Tick
6	import ./lifecycle.bend as Life
7	import ./execution_effects.bend as E
8	
9	type Edit<-S:Data,-C:Type,-P:Type,-Out:Type> is Type:
10	  Edited{column:Col.Column<S,C>,output:Out}
11	  Unchanged{column:Col.Column<S,C>,unused:P -> P & Out}
12	
13	type Update<-S:Data,-C:Type,-O:Type> is Type:
14	  Updated{column:Col.Column<S,C>,state:O,changed:Bool}
15	
16	def updated(~S:Data,~layout:L.Layout,~route:L.Route,-O:Type,values:Array<Maybe<&1,L.stored(layout,route)>>,stamps:Array<Life.Stamp>,+index:U32,tick:Tick.Tick,result:L.stored(layout,route) & O) -> Update<S,L.stored(layout,route),O>:
17	  match result:
18	    case (owner,state):Updated{Col.Leaf{Array.set(Maybe<&1,L.stored(layout,route)>,values,index,Some{owner}),Col.edit_stamps(stamps,index,tick,True{})},state,True{}}
19	def effect_rewritten(~S:Data,~layout:L.Layout,~route:L.Route,-O:Type,values:Array<Maybe<&1,L.stored(layout,route)>>,stamps:Array<Life.Stamp>,index:U32,tick:Tick.Tick,result:L.payload(layout,route) & O) -> Update<S,L.stored(layout,route),O>:
20	  updated(~S,~layout,~route,O,values,stamps,index,tick,L.rewritten(L.payload(layout,route),L.stored(layout,route),O,L.initialize(layout,route),result))
21	def effect_taken(~S:Data,~F:Type -> Type,~effects:E.Effects<F>,~layout:L.Layout,~route:L.Route,-O:Type,stamps:Array<Life.Stamp>,index:U32,tick:Tick.Tick,state:O,operation:L.payload(layout,route) -> O -> F(L.payload(layout,route) & O),result:Array<Maybe<&1,L.stored(layout,route)>> & Maybe<&1,L.stored(layout,route)>) -> F(Update<S,L.stored(layout,route),O>):
22	  match result:
23	    case (values,None{}):E.pure(~F,Update<S,L.stored(layout,route),O>,effects,Updated{Col.Leaf{values,stamps},state,False{}})
24	    case (values,Some{L.Viewed{payload,_}}):E.map(~F,L.payload(layout,route) & O,Update<S,L.stored(layout,route),O>,effects,operation(payload,state),result=>effect_rewritten(~S,~layout,~route,O,values,stamps,index,tick,result))
25	def effect_left(-S:Data,-C:Type,-O:Type,half:U32,right:Col.Column<S,C>,result:Update<S,C,O>) -> Update<S,C,O>:
26	  match result:
27	    case Updated{left,state,changed}:Updated{Col.Branch{half,left,right},state,changed}
28	def effect_right(-S:Data,-C:Type,-O:Type,half:U32,left:Col.Column<S,C>,result:Update<S,C,O>) -> Update<S,C,O>:
29	  match result:
30	    case Updated{right,state,changed}:Updated{Col.Branch{half,left,right},state,changed}
31	def effect_branch(~F:Type -> Type,~effects:E.Effects<F>,-S:Data,-C:Type,-P:Type,-O:Type,+half:U32,left:Col.Column<S,C>,right:Col.Column<S,C>,goLeft:Col.Column<S,C> -> O -> (P -> O -> F(P & O)) -> F(Update<S,C,O>),goRight:Col.Column<S,C> -> O -> (P -> O -> F(P & O)) -> F(Update<S,C,O>),state:O,operation:P -> O -> F(P & O),first:Bool) -> F(Update<S,C,O>):
32	  match first:
33	    case True{}:E.map(~F,Update<S,C,O>,Update<S,C,O>,effects,goLeft(left,state,operation),result=>effect_left(S,C,O,half,right,result))
34	    case False{}:E.map(~F,Update<S,C,O>,Update<S,C,O>,effects,goRight(right,state,operation),result=>effect_right(S,C,O,half,left,result))
35	def effect_tree(~S:Data,~F:Type -> Type,~effects:E.Effects<F>,~layout:L.Layout,~route:L.Route,-O:Type,shape:Part.Shape,column:Col.Column<S,L.stored(layout,route)>,+index:U32,+tick:Tick.Tick,state:O,operation:L.payload(layout,route) -> O -> F(L.payload(layout,route) & O)) -> F(Update<S,L.stored(layout,route),O>):
36	  match shape column:
37	    case Part.Leaf{} Col.Leaf{values,stamps}:effect_taken(~S,~F,~effects,~layout,~route,O,stamps,index,tick,state,operation,Array.swap(Maybe<&1,L.stored(layout,route)>,values,index,None{}))
38	    case Part.Branch{+half,leftShape,rightShape} Col.Branch{_,left,right}:effect_branch(~F,~effects,S,L.stored(layout,route),L.payload(layout,route),O,half,left,right,(column=>state=>operation=>effect_tree(~S,~F,~effects,~layout,~route,O,leftShape,column,index,tick,state,operation)),(column=>state=>operation=>effect_tree(~S,~F,~effects,~layout,~route,O,rightShape,column,U32.sub(index,half),tick,state,operation)),state,operation,U32.is_lt(index,half))
39	    case _ column:E.pure(~F,Update<S,L.stored(layout,route),O>,effects,Updated{column,state,False{}})
40	def effect_checked(~S:Data,~F:Type -> Type,~effects:E.Effects<F>,~layout:L.Layout,~route:L.Route,-O:Type,shape:Part.Shape,column:Col.Column<S,L.stored(layout,route)>,index:U32,tick:Tick.Tick,state:O,operation:L.payload(layout,route) -> O -> F(L.payload(layout,route) & O),valid:Bool) -> F(Update<S,L.stored(layout,route),O>):
41	  match valid:
42	    case False{}:E.pure(~F,Update<S,L.stored(layout,route),O>,effects,Updated{column,state,False{}})
43	    case True{}:effect_tree(~S,~F,~effects,~layout,~route,O,shape,column,index,tick,state,operation)
44	def effect_inspected(~S:Data,~F:Type -> Type,~effects:E.Effects<F>,~layout:L.Layout,~route:L.Route,-O:Type,+index:U32,tick:Tick.Tick,state:O,operation:L.payload(layout,route) -> O -> F(L.payload(layout,route) & O),result:Col.Column<S,L.stored(layout,route)> & Part.Inspection) -> F(Update<S,L.stored(layout,route),O>):
45	  match result:
46	    case (column,Part.Inspection{shape,capacity,valid}):effect_checked(~S,~F,~effects,~layout,~route,O,shape,column,index,tick,state,operation,Bool.and(valid,U32.is_lt(index,capacity)))
47	def effect_edit(~S:Data,~F:Type -> Type,~effects:E.Effects<F>,~layout:L.Layout,~route:L.Route,-O:Type,column:Col.Column<S,L.stored(layout,route)>,index:U32,tick:Tick.Tick,state:O,operation:L.payload(layout,route) -> O -> F(L.payload(layout,route) & O)) -> F(Update<S,L.stored(layout,route),O>):
48	  effect_inspected(~S,~F,~effects,~layout,~route,O,index,tick,state,operation,Part.inspect(S,L.stored(layout,route),column))
49	
50	type PureUpdate<-P:Type,-Out:Type> is Type:
51	  PendingUpdate{transform:P -> P & Out}
52	  FinishedUpdate{output:Out}
53	def pure_transformed(-P:Type,-Out:Type,result:P & Out) -> P & PureUpdate<P,Out>:
54	  match result:
55	    case (payload,output):(payload,FinishedUpdate{output})
56	def pure_operation(-P:Type,-Out:Type,payload:P,state:PureUpdate<P,Out>) -> P & PureUpdate<P,Out>:
57	  match state:
58	    case PendingUpdate{transform}:pure_transformed(P,Out,transform(payload))
59	    case FinishedUpdate{output}:(payload,FinishedUpdate{output})
60	def pure_returned(-S:Data,-C:Type,-P:Type,-Out:Type,result:Update<S,C,PureUpdate<P,Out>>) -> Edit<S,C,P,Out>:
61	  match result:
62	    case Updated{column,PendingUpdate{transform},_}:Unchanged{column,transform}
63	    case Updated{column,FinishedUpdate{output},_}:Edited{column,output}
64	def edit(~S:Data,~layout:L.Layout,~route:L.Route,-Out:Type,column:Col.Column<S,L.stored(layout,route)>,index:U32,tick:Tick.Tick,transform:L.payload(layout,route) -> L.payload(layout,route) & Out) -> Edit<S,L.stored(layout,route),L.payload(layout,route),Out>:
65	  pure_returned(S,L.stored(layout,route),L.payload(layout,route),Out,effect_edit(~S,~E.Identity,~E.identity(),~layout,~route,PureUpdate<L.payload(layout,route),Out>,column,index,tick,PendingUpdate{transform},pure_operation(L.payload(layout,route),Out)))