Mercurial > urweb
comparison demo/more/orm1.ur @ 992:b825d843b22d
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'} |