Mercurial > urweb

comparison demo/more/orm1.ur @ 992:b825d843b22d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finalized Orm1 demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Oct 2009 13:11:03 -0400
parents b132f8620a66
children 8d3aa6c7cee0
comparison
equal deleted inserted replaced
991:b132f8620a66 992:b825d843b22d
9 val cols = {C = T.id, 9 val cols = {C = T.id,
10 D = local [float] _} 10 D = local [float] _}
11 end) 11 end)
12 12
13 fun action () = 13 fun action () =
14 r <- T.create {A = 3, B = "Hi"}; 14 r1 <- T.create {A = 3, B = "Hi"};
15 T.save (r -- #B ++ {B = "Bye"}); 15 T.save (r1 -- #B ++ {B = "Bye"});
16 r2 <- T.create {A = 4, B = "Why"};
17 r3 <- T.create {A = 66, B = "Hi"};
16 18
17 s <- S.create {C = r.Id, D = 45.67}; 19 s <- S.create {C = r1.Id, D = 45.67};
18 20
19 ls <- T.list; 21 ls <- T.list;
20 ls' <- T.search (T.eq T.cols.B.Col "Hi"); 22 ls' <- T.search (T.eq T.cols.B.Col "Hi");
21 23
22 lsS <- S.list; 24 lsS <- S.list;
23 lsS <- List.mapM (fn r => p <- S.cols.C.Parent r; return (r, p)) lsS; 25 lsS <- List.mapM (fn r => p <- S.cols.C.Parent r; return (r, p)) lsS;
26
27 T.delete r1;
28 T.delete r2;
29 T.delete r3;
30
31 S.delete s;
24 32
25 return <xml><body> 33 return <xml><body>
26 {List.mapX (fn r => <xml><li> {[r.A]}: {[r.B]}</li></xml>) ls} 34 {List.mapX (fn r => <xml><li> {[r.A]}: {[r.B]}</li></xml>) ls}
27 <br/> 35 <br/>
28 {List.mapX (fn r => <xml><li> {[r.A]}: {[r.B]}</li></xml>) ls'} 36 {List.mapX (fn r => <xml><li> {[r.A]}: {[r.B]}</li></xml>) ls'}