Mercurial > urweb

comparison tests/jsinj.ur @ 594:55829473f6a7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Injected an option
author Adam Chlipala <adamc@hcoop.net>
date Fri, 02 Jan 2009 13:03:22 -0500
parents f277f5faebcd
children 02c8ab9f3e8b
comparison
equal deleted inserted replaced
593:f277f5faebcd 594:55829473f6a7
6 cookie int : int 6 cookie int : int
7 cookie float : float 7 cookie float : float
8 cookie string : string 8 cookie string : string
9 cookie bool : bool 9 cookie bool : bool
10 cookie pair : int * float 10 cookie pair : int * float
11 cookie option : option int
11 12
12 fun main () : transaction page = 13 fun main () : transaction page =
13 n <- getCookie int; 14 n <- getCookie int;
14 n <- return (getOpt n 7); 15 n <- return (getOpt n 7);
15 sn <- source 6; 16 sn <- source 6;
28 29
29 p <- getCookie pair; 30 p <- getCookie pair;
30 p <- return (getOpt p (1, 2.3)); 31 p <- return (getOpt p (1, 2.3));
31 sp <- source (4, 5.6); 32 sp <- source (4, 5.6);
32 33
34 o <- getCookie option;
35 o <- return (getOpt o (Some 1));
36 op <- source None;
37
33 return <xml><body> 38 return <xml><body>
34 <dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/> 39 <dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/>
35 <a onclick={set sn n}>CHANGE</a><br/> 40 <a onclick={set sn n}>CHANGE</a><br/>
36 41
37 <dyn signal={f <- signal sf; return <xml>{[f]}</xml>}/> 42 <dyn signal={f <- signal sf; return <xml>{[f]}</xml>}/>
43 <dyn signal={b <- signal sb; return <xml>{[b]}</xml>}/> 48 <dyn signal={b <- signal sb; return <xml>{[b]}</xml>}/>
44 <a onclick={set sb b}>CHANGE</a><br/> 49 <a onclick={set sb b}>CHANGE</a><br/>
45 50
46 <dyn signal={p <- signal sp; return <xml>{[p.1]}, {[p.2]}</xml>}/> 51 <dyn signal={p <- signal sp; return <xml>{[p.1]}, {[p.2]}</xml>}/>
47 <a onclick={set sp p}>CHANGE</a><br/> 52 <a onclick={set sp p}>CHANGE</a><br/>
53
54 <dyn signal={o <- signal op; case o of
55 None => return <xml>None</xml>
56 | Some x => return <xml>{[x]}</xml>}/>
57 <a onclick={set op o}>CHANGE</a><br/>
48 </body></xml> 58 </body></xml>