UNPKG

libatscc2js-workersession

Version:

The package implements session-typed channels based on web-workers.

43 lines (36 loc) • 887 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
<!doctype html> <html> <head> <title>rpc_client</title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/2.1.3/jquery.min.js"> </script> <script src="https://cdnjs.cloudflare.com/ajax/libs/bacon.js/0.7.53/Bacon.min.js"> </script> <script src="https://ats-lang.github.io/LIBRARY/libatscc2js/libatscc2js_all.js"> </script> <script src="https://ats-lang.github.io/LIBRARY/libatscc2js/libatscc2js_baconjs_all.js"> </script> </head> <body> <h1>For testing worker-based channels</h1> <center> <input ID="theArg1" type="text" maxlength="8" ></input> + <input ID="theArg2" type="text" maxlength="8" ></input> <button ID="theTrigger" type="button" onclick="theTrigger_onclick()" >trigger-rpc</button> </center> <script src="./rpc_client_dats.js"></script> </body> </html>