Mercurial > urweb
annotate demo/more/orm1.ur @ 1225:950d1e540df6
Tweaks to table signatures and MonoOpt summarizing
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 11 Apr 2010 14:11:17 -0400 (2010-04-11) |
parents | 8d3aa6c7cee0 |
children | 819756825c8d |
rev | line source |
---|---|
adamc@991 | 1 open Orm |
adamc@991 | 2 |
adamc@991 | 3 structure T = Table(struct |
adamc@1093 | 4 val cols = {A = local [int], |
adamc@1093 | 5 B = local [string]} |
adamc@991 | 6 end) |
adamc@991 | 7 |
adamc@991 | 8 structure S = Table(struct |
adamc@991 | 9 val cols = {C = T.id, |
adamc@1093 | 10 D = local [float]} |
adamc@991 | 11 end) |
adamc@991 | 12 |
adamc@991 | 13 fun action () = |
adamc@992 | 14 r1 <- T.create {A = 3, B = "Hi"}; |
adamc@992 | 15 T.save (r1 -- #B ++ {B = "Bye"}); |
adamc@992 | 16 r2 <- T.create {A = 4, B = "Why"}; |
adamc@992 | 17 r3 <- T.create {A = 66, B = "Hi"}; |
adamc@991 | 18 |
adamc@992 | 19 s <- S.create {C = r1.Id, D = 45.67}; |
adamc@991 | 20 |
adamc@991 | 21 ls <- T.list; |
adamc@991 | 22 ls' <- T.search (T.eq T.cols.B.Col "Hi"); |
adamc@991 | 23 |
adamc@991 | 24 lsS <- S.list; |
adamc@991 | 25 lsS <- List.mapM (fn r => p <- S.cols.C.Parent r; return (r, p)) lsS; |
adamc@991 | 26 |
adamc@992 | 27 T.delete r1; |
adamc@992 | 28 T.delete r2; |
adamc@992 | 29 T.delete r3; |
adamc@992 | 30 |
adamc@992 | 31 S.delete s; |
adamc@992 | 32 |
adamc@991 | 33 return <xml><body> |
adamc@991 | 34 {List.mapX (fn r => <xml><li> {[r.A]}: {[r.B]}</li></xml>) ls} |
adamc@991 | 35 <br/> |
adamc@991 | 36 {List.mapX (fn r => <xml><li> {[r.A]}: {[r.B]}</li></xml>) ls'} |
adamc@991 | 37 <br/> |
adamc@991 | 38 {List.mapX (fn (s, ro) => <xml><li> {[s.D]}: {case ro of |
adamc@991 | 39 None => <xml>No parent</xml> |
adamc@991 | 40 | Some r => <xml>{[r.B]}</xml>} |
adamc@991 | 41 </li></xml>) lsS} |
adamc@991 | 42 </body></xml> |
adamc@991 | 43 |
adamc@991 | 44 fun main () = return <xml><body> |
adamc@991 | 45 <form><submit action={action}/></form> |
adamc@991 | 46 </body></xml> |