1	import Base
2	import ./change_tick.bend as Tick
3	import inspector_query.bend as Q
4	import inspector.bend as I
5	import check.bend as K
6	import world.bend as W
7	def inspect_handles_joined(~S:Data,~Store:Type,~R:Type,~E:Data,cursor:Maybe<&2,Tick.Tick>,observed:W.World<S,Store,R,E> & List<&2,W.Handle<S>>) -> I.Frame<S,Store,R,E> & List<&2,W.Handle<S>>:
8	  (world,value)=observed
9	  (I.Frame{world,cursor},value)
10	def inspect_handles(~S:Data,~Store:Type,~R:Type,~E:Data,frame:I.Frame<S,Store,R,E>) -> I.Frame<S,Store,R,E> & List<&2,W.Handle<S>>:
11	  match frame:
12	    case I.Frame{world,cursor}:inspect_handles_joined(~S,~Store,~R,~E,cursor,W.handles(~S,~Store,~R,~E,world))
13	def inspect_valid_joined(~S:Data,~Store:Type,~R:Type,~E:Data,cursor:Maybe<&2,Tick.Tick>,observed:W.World<S,Store,R,E> & Bool) -> I.Frame<S,Store,R,E> & Bool:
14	  (world,value)=observed
15	  (I.Frame{world,cursor},value)
16	def inspect_valid(~S:Data,~Store:Type,~R:Type,~E:Data,frame:I.Frame<S,Store,R,E>,target:W.Handle<S>) -> I.Frame<S,Store,R,E> & Bool:
17	  match frame:
18	    case I.Frame{world,cursor}:inspect_valid_joined(~S,~Store,~R,~E,cursor,W.valid(~S,~Store,~R,~E,world,target))
19	def inspect_world(~S:Data,~Store:Type,~R:Type,~E:Data) -> Q.WorldRead<I.Frame<S,Store,R,E>,S>:
20	  Q.WorldRead{inspect_handles(~S,~Store,~R,~E),inspect_valid(~S,~Store,~R,~E)}
21	def check_handles_joined(~S:Data,~Store:Type,~R:Type,~E:Data,observed:W.World<S,Store,R,E> & List<&2,W.Handle<S>>) -> K.Frame<S,Store,R,E> & List<&2,W.Handle<S>>:
22	  (world,value)=observed
23	  (K.Frame{world},value)
24	def check_handles(~S:Data,~Store:Type,~R:Type,~E:Data,frame:K.Frame<S,Store,R,E>) -> K.Frame<S,Store,R,E> & List<&2,W.Handle<S>>:
25	  match frame:
26	    case K.Frame{world}:check_handles_joined(~S,~Store,~R,~E,W.handles(~S,~Store,~R,~E,world))
27	def check_valid_joined(~S:Data,~Store:Type,~R:Type,~E:Data,observed:W.World<S,Store,R,E> & Bool) -> K.Frame<S,Store,R,E> & Bool:
28	  (world,value)=observed
29	  (K.Frame{world},value)
30	def check_valid(~S:Data,~Store:Type,~R:Type,~E:Data,frame:K.Frame<S,Store,R,E>,target:W.Handle<S>) -> K.Frame<S,Store,R,E> & Bool:
31	  match frame:
32	    case K.Frame{world}:check_valid_joined(~S,~Store,~R,~E,W.valid(~S,~Store,~R,~E,world,target))
33	def check_world(~S:Data,~Store:Type,~R:Type,~E:Data) -> Q.WorldRead<K.Frame<S,Store,R,E>,S>:
34	  Q.WorldRead{check_handles(~S,~Store,~R,~E),check_valid(~S,~Store,~R,~E)}