1	import Base
2	import ./world.bend as W
3	import ./local.bend as Local
4	
5	# Closed runner identity with an actual affine per-instance capture owner.
6	def register(~S: Data,~C: Type,~R: Type,~E: Data,~L: Type,~Args: Type,~Error: Data,~Out: Type,~runner: W.World<S,C,R,E> -> L -> Args -> Local.Outcome<W.World<S,C,R,E>,L,Error,Out>,world: W.World<S,C,R,E>,name: String,access: List<&2,String>,local: L) -> Local.Registered<S,C,R,E,L,Args,Error,Out,runner>:
7	  Local.register(~S,~C,~R,~E,~L,~Args,~Error,~Out,~runner,world,name,access,local)
8	
9	def run(~S: Data,~C: Type,~R: Type,~E: Data,~L: Type,~Args: Type,~Error: Data,~Out: Type,~runner: W.World<S,C,R,E> -> L -> Args -> Local.Outcome<W.World<S,C,R,E>,L,Error,Out>,instance: Local.Instance<S,C,R,E,L,Args,Error,Out,runner>,world: W.World<S,C,R,E>,args: Args) -> Local.Run<S,C,R,E,L,Args,Error,Out,runner>:
10	  Local.run(~S,~C,~R,~E,~L,~Args,~Error,~Out,~runner,instance,world,args)
11	
12	def skip(~S: Data,~C: Type,~R: Type,~E: Data,~L: Type,~Args: Type,~Error: Data,~Out: Type,~runner: W.World<S,C,R,E> -> L -> Args -> Local.Outcome<W.World<S,C,R,E>,L,Error,Out>,instance: Local.Instance<S,C,R,E,L,Args,Error,Out,runner>) -> Local.Instance<S,C,R,E,L,Args,Error,Out,runner>:
13	  Local.skip(~S,~C,~R,~E,~L,~Args,~Error,~Out,~runner,instance)
14	
15	def observe(~S: Data,~C: Type,~R: Type,~E: Data,~L: Type,~Args: Type,~Error: Data,~Out: Type,~runner: W.World<S,C,R,E> -> L -> Args -> Local.Outcome<W.World<S,C,R,E>,L,Error,Out>,~V: Data,~project: L -> L & V,instance: Local.Instance<S,C,R,E,L,Args,Error,Out,runner>) -> Local.Instance<S,C,R,E,L,Args,Error,Out,runner> & V:
16	  Local.observe(~S,~C,~R,~E,~L,~Args,~Error,~Out,~runner,~V,~project,instance)
17	
18	def identity(~S: Data,~C: Type,~R: Type,~E: Data,~L: Type,~Args: Type,~Error: Data,~Out: Type,~runner: W.World<S,C,R,E> -> L -> Args -> Local.Outcome<W.World<S,C,R,E>,L,Error,Out>,instance: Local.Instance<S,C,R,E,L,Args,Error,Out,runner>) -> Local.Instance<S,C,R,E,L,Args,Error,Out,runner> & U32:
19	  Local.identity(~S,~C,~R,~E,~L,~Args,~Error,~Out,~runner,instance)
20	
21	def returned(~L: Type,owner: L) -> L:
22	  owner
23	
24	# Unregister invalidates the registration and returns the capture unchanged.
25	def unregister(~S: Data,~C: Type,~R: Type,~E: Data,~L: Type,~Args: Type,~Error: Data,~Out: Type,~runner: W.World<S,C,R,E> -> L -> Args -> Local.Outcome<W.World<S,C,R,E>,L,Error,Out>,instance: Local.Instance<S,C,R,E,L,Args,Error,Out,runner>,world: W.World<S,C,R,E>) -> Local.Disposal<S,C,R,E,L,Args,Error,Out,runner,L>:
26	  Local.dispose(~S,~C,~R,~E,~L,~Args,~Error,~Out,~runner,~L,~returned(~L),instance,world)