Mercurial > urweb

annotate demo/more/grid1.ur @ 935:2422360c78a3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Dropped in initial aggregate types
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 09:40:51 -0400
parents 0a156bbd205f
children 37dd42935dad
rev   line source
adamc@915 1 open Dbgrid
adamc@915 2
adamc@915 3 table t1 : {Id : int, A : string}
adamc@915 4 PRIMARY KEY Id
adamc@915 5
adamc@915 6 sequence s
adamc@931 7 table t : {Id : int, A : int, B : string, C : bool, D : int, E : option int, F : option int}
adamc@915 8 PRIMARY KEY Id,
adamc@915 9 CONSTRAINT Foreign FOREIGN KEY (D) REFERENCES t1(Id) ON DELETE CASCADE
adamc@915 10
adamc@932 11 fun page (n, s) = return <xml>A = {[n]}, B = {[s]}</xml>
adamc@915 12
adamc@915 13 open Make(struct
adamc@915 14 val tab = t
adamc@915 15 con key = [Id = _]
adamc@915 16
adamc@915 17 val raw = {Id = {New = nextval s,
adamc@915 18 Inj = _},
adamc@915 19 A = {New = return 0,
adamc@915 20 Inj = _},
adamc@915 21 B = {New = return "",
adamc@915 22 Inj = _},
adamc@915 23 C = {New = return False,
adamc@915 24 Inj = _},
adamc@915 25 D = {New = return 0,
adamc@930 26 Inj = _},
adamc@930 27 E = {New = return None,
adamc@931 28 Inj = _},
adamc@931 29 F = {New = return None,
adamc@915 30 Inj = _}}
adamc@915 31
adamc@915 32 structure F = Direct.Foreign(struct
adamc@915 33 con nm = #Id
adamc@915 34 val tab = t1
adamc@915 35 fun render r = r.A
adamc@915 36 end)
adamc@915 37
adamc@915 38 val cols = {Id = Direct.readOnly [#Id] ! "Id" Direct.int,
adamc@932 39 A = Direct.editable [#A] ! "A" Direct.int,
adamc@915 40 B = Direct.editable [#B] ! "B" Direct.string,
adamc@931 41 C = Direct.editable [#C] ! "C" Direct.bool,
adamc@932 42 D = Direct.editable [#D] ! "D" F.meta,
adamc@930 43 E = Direct.editable [#E] ! "E" (Direct.nullable Direct.int),
adamc@932 44 F = Direct.editable [#F] ! "F" (Direct.nullable F.meta),
adamc@915 45 DA = computed "2A" (fn r => 2 * r.A),
adamc@932 46 Link = computedHtml "Link" (fn r => <xml><a link={page (r.A, r.B)}>Go</a></xml>)}
adamc@935 47
adamc@935 48 val aggregates = {}
adamc@915 49 end)
adamc@915 50
adamc@915 51 fun main () =
adamc@915 52 grid <- grid;
adamc@915 53 return <xml>
adamc@915 54 <head>
adamc@923 55 <link rel="stylesheet" type="text/css" href="../../grid.css"/>
adamc@915 56 </head>
adamc@915 57 <body onload={sync grid}>
adamc@915 58 {render grid}
adamc@915 59 </body>
adamc@915 60 </xml>