adamc@56
|
1 type int
|
adamc@56
|
2 type float
|
adamc@56
|
3 type string
|
adamc@436
|
4 type time
|
adamc@91
|
5
|
adamc@119
|
6 type unit = {}
|
adamc@119
|
7
|
adamc@186
|
8 datatype bool = False | True
|
adamc@186
|
9
|
adamc@288
|
10 datatype option t = None | Some of t
|
adamc@284
|
11
|
adamc@91
|
12
|
adamc@256
|
13 (** Basic type classes *)
|
adamc@256
|
14
|
adamc@256
|
15 class eq
|
adamc@256
|
16 val eq : t ::: Type -> eq t -> t -> t -> bool
|
adamc@257
|
17 val ne : t ::: Type -> eq t -> t -> t -> bool
|
adamc@256
|
18 val eq_int : eq int
|
adamc@394
|
19 val eq_float : eq float
|
adamc@256
|
20 val eq_string : eq string
|
adamc@256
|
21 val eq_bool : eq bool
|
adamc@437
|
22 val eq_time : eq time
|
adamc@422
|
23 val mkEq : t ::: Type -> (t -> t -> bool) -> eq t
|
adamc@256
|
24
|
adamc@389
|
25 class num
|
adamc@417
|
26 val zero : t ::: Type -> num t -> t
|
adamc@389
|
27 val neg : t ::: Type -> num t -> t -> t
|
adamc@389
|
28 val plus : t ::: Type -> num t -> t -> t -> t
|
adamc@389
|
29 val minus : t ::: Type -> num t -> t -> t -> t
|
adamc@389
|
30 val times : t ::: Type -> num t -> t -> t -> t
|
adamc@389
|
31 val div : t ::: Type -> num t -> t -> t -> t
|
adamc@389
|
32 val mod : t ::: Type -> num t -> t -> t -> t
|
adamc@389
|
33 val num_int : num int
|
adamc@390
|
34 val num_float : num float
|
adamc@389
|
35
|
adamc@391
|
36 class ord
|
adamc@391
|
37 val lt : t ::: Type -> ord t -> t -> t -> bool
|
adamc@391
|
38 val le : t ::: Type -> ord t -> t -> t -> bool
|
adamc@391
|
39 val gt : t ::: Type -> ord t -> t -> t -> bool
|
adamc@391
|
40 val ge : t ::: Type -> ord t -> t -> t -> bool
|
adamc@391
|
41 val ord_int : ord int
|
adamc@394
|
42 val ord_float : ord float
|
adamc@394
|
43 val ord_string : ord string
|
adamc@394
|
44 val ord_bool : ord bool
|
adamc@437
|
45 val ord_time : ord time
|
adamc@391
|
46
|
adamc@256
|
47
|
adamc@283
|
48 (** String operations *)
|
adamc@283
|
49
|
adamc@283
|
50 val strcat : string -> string -> string
|
adamc@283
|
51
|
adamc@286
|
52 class show
|
adamc@286
|
53 val show : t ::: Type -> show t -> t -> string
|
adamc@286
|
54 val show_int : show int
|
adamc@286
|
55 val show_float : show float
|
adamc@286
|
56 val show_string : show string
|
adamc@286
|
57 val show_bool : show bool
|
adamc@436
|
58 val show_time : show time
|
adamc@452
|
59 val mkShow : t ::: Type -> (t -> string) -> show t
|
adamc@286
|
60
|
adamc@290
|
61 class read
|
adamc@290
|
62 val read : t ::: Type -> read t -> string -> option t
|
adamc@292
|
63 val readError : t ::: Type -> read t -> string -> t
|
adamc@292
|
64 (* [readError] calls [error] if the input is malformed. *)
|
adamc@290
|
65 val read_int : read int
|
adamc@290
|
66 val read_float : read float
|
adamc@290
|
67 val read_string : read string
|
adamc@290
|
68 val read_bool : read bool
|
adamc@436
|
69 val read_time : read time
|
adamc@288
|
70
|
adamc@283
|
71
|
adamc@564
|
72 (** * Monads *)
|
adamc@564
|
73
|
adamc@564
|
74 class monad :: Type -> Type
|
adamc@564
|
75 val return : m ::: (Type -> Type) -> t ::: Type
|
adamc@564
|
76 -> monad m
|
adamc@564
|
77 -> t -> m t
|
adamc@564
|
78 val bind : m ::: (Type -> Type) -> t1 ::: Type -> t2 ::: Type
|
adamc@564
|
79 -> monad m
|
adamc@564
|
80 -> m t1 -> (t1 -> m t2)
|
adamc@564
|
81 -> m t2
|
adamc@564
|
82
|
adamc@456
|
83 con transaction :: Type -> Type
|
adamc@564
|
84 val transaction_monad : monad transaction
|
adamc@456
|
85
|
adamc@565
|
86 con source :: Type -> Type
|
adamc@565
|
87 val source : t ::: Type -> t -> transaction (source t)
|
adamc@575
|
88 val set : t ::: Type -> source t -> t -> transaction unit
|
adamc@601
|
89 val get : t ::: Type -> source t -> transaction t
|
adamc@565
|
90
|
adamc@565
|
91 con signal :: Type -> Type
|
adamc@565
|
92 val signal_monad : monad signal
|
adamc@565
|
93 val signal : t ::: Type -> source t -> signal t
|
adamc@456
|
94
|
adamc@456
|
95
|
adamc@456
|
96 (** HTTP operations *)
|
adamc@456
|
97
|
adamc@456
|
98 val requestHeader : string -> transaction (option string)
|
adamc@456
|
99
|
adamc@459
|
100 con http_cookie :: Type -> Type
|
adamc@459
|
101 val getCookie : t ::: Type -> http_cookie t -> transaction (option t)
|
adamc@459
|
102 val setCookie : t ::: Type -> http_cookie t -> t -> transaction unit
|
adamc@459
|
103
|
adamc@456
|
104
|
adamc@566
|
105 (** JavaScript-y gadgets *)
|
adamc@566
|
106
|
adamc@566
|
107 val alert : string -> transaction unit
|
adamc@566
|
108
|
adamc@566
|
109
|
adamc@203
|
110 (** SQL *)
|
adamc@203
|
111
|
adamc@203
|
112 con sql_table :: {Type} -> Type
|
adamc@203
|
113
|
adamc@204
|
114 (*** Queries *)
|
adamc@204
|
115
|
adamc@233
|
116 con sql_query :: {{Type}} -> {Type} -> Type
|
adamc@233
|
117 con sql_query1 :: {{Type}} -> {{Type}} -> {Type} -> Type
|
adamc@234
|
118 con sql_exp :: {{Type}} -> {{Type}} -> {Type} -> Type -> Type
|
adamc@204
|
119
|
adamc@223
|
120 con sql_subset :: {{Type}} -> {{Type}} -> Type
|
adamc@223
|
121 val sql_subset : keep_drop :: {({Type} * {Type})}
|
adamc@354
|
122 -> sql_subset
|
adamc@621
|
123 (map (fn fields :: ({Type} * {Type}) => fields.1 ++ fields.2) keep_drop)
|
adamc@621
|
124 (map (fn fields :: ({Type} * {Type}) => fields.1) keep_drop)
|
adamc@354
|
125 val sql_subset_all : tables :: {{Type}} -> sql_subset tables tables
|
adamc@223
|
126
|
adamc@229
|
127 val sql_query1 : tables ::: {{Type}}
|
adamc@354
|
128 -> grouped ::: {{Type}}
|
adamc@354
|
129 -> selectedFields ::: {{Type}}
|
adamc@354
|
130 -> selectedExps ::: {Type}
|
adamc@621
|
131 -> {From : $(map (fn fields :: {Type} => sql_table fields) tables),
|
adamc@354
|
132 Where : sql_exp tables [] [] bool,
|
adamc@354
|
133 GroupBy : sql_subset tables grouped,
|
adamc@354
|
134 Having : sql_exp grouped tables [] bool,
|
adamc@354
|
135 SelectFields : sql_subset grouped selectedFields,
|
adamc@621
|
136 SelectExps : $(map (fn (t :: Type) => sql_exp grouped tables [] t) selectedExps) }
|
adamc@354
|
137 -> sql_query1 tables selectedFields selectedExps
|
adamc@229
|
138
|
adamc@229
|
139 type sql_relop
|
adamc@229
|
140 val sql_union : sql_relop
|
adamc@229
|
141 val sql_intersect : sql_relop
|
adamc@229
|
142 val sql_except : sql_relop
|
adamc@260
|
143 val sql_relop : tables1 ::: {{Type}}
|
adamc@354
|
144 -> tables2 ::: {{Type}}
|
adamc@354
|
145 -> selectedFields ::: {{Type}}
|
adamc@354
|
146 -> selectedExps ::: {Type}
|
adamc@354
|
147 -> sql_relop
|
adamc@354
|
148 -> sql_query1 tables1 selectedFields selectedExps
|
adamc@354
|
149 -> sql_query1 tables2 selectedFields selectedExps
|
adamc@354
|
150 -> sql_query1 selectedFields selectedFields selectedExps
|
adamc@229
|
151
|
adamc@230
|
152 type sql_direction
|
adamc@230
|
153 val sql_asc : sql_direction
|
adamc@230
|
154 val sql_desc : sql_direction
|
adamc@230
|
155
|
adamc@234
|
156 con sql_order_by :: {{Type}} -> {Type} -> Type
|
adamc@234
|
157 val sql_order_by_Nil : tables ::: {{Type}} -> exps :: {Type} -> sql_order_by tables exps
|
adamc@234
|
158 val sql_order_by_Cons : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
|
adamc@354
|
159 -> sql_exp tables [] exps t -> sql_direction
|
adamc@354
|
160 -> sql_order_by tables exps
|
adamc@354
|
161 -> sql_order_by tables exps
|
adamc@230
|
162
|
adamc@231
|
163 type sql_limit
|
adamc@231
|
164 val sql_no_limit : sql_limit
|
adamc@231
|
165 val sql_limit : int -> sql_limit
|
adamc@354
|
166
|
adamc@232
|
167 type sql_offset
|
adamc@232
|
168 val sql_no_offset : sql_offset
|
adamc@232
|
169 val sql_offset : int -> sql_offset
|
adamc@232
|
170
|
adamc@229
|
171 val sql_query : tables ::: {{Type}}
|
adamc@354
|
172 -> selectedFields ::: {{Type}}
|
adamc@354
|
173 -> selectedExps ::: {Type}
|
adamc@354
|
174 -> {Rows : sql_query1 tables selectedFields selectedExps,
|
adamc@354
|
175 OrderBy : sql_order_by tables selectedExps,
|
adamc@354
|
176 Limit : sql_limit,
|
adamc@354
|
177 Offset : sql_offset}
|
adamc@354
|
178 -> sql_query selectedFields selectedExps
|
adamc@204
|
179
|
adamc@354
|
180 val sql_field : otherTabs ::: {{Type}} -> otherFields ::: {Type}
|
adamc@354
|
181 -> fieldType ::: Type -> agg ::: {{Type}}
|
adamc@354
|
182 -> exps ::: {Type}
|
adamc@354
|
183 -> tab :: Name -> field :: Name
|
adamc@354
|
184 -> sql_exp
|
adamc@354
|
185 ([tab = [field = fieldType] ++ otherFields] ++ otherTabs)
|
adamc@354
|
186 agg exps fieldType
|
adamc@234
|
187
|
adamc@354
|
188 val sql_exp : tabs ::: {{Type}} -> agg ::: {{Type}} -> t ::: Type -> rest ::: {Type}
|
adamc@354
|
189 -> nm :: Name
|
adamc@354
|
190 -> sql_exp tabs agg ([nm = t] ++ rest) t
|
adamc@209
|
191
|
adamc@221
|
192 class sql_injectable
|
adamc@221
|
193 val sql_bool : sql_injectable bool
|
adamc@221
|
194 val sql_int : sql_injectable int
|
adamc@221
|
195 val sql_float : sql_injectable float
|
adamc@221
|
196 val sql_string : sql_injectable string
|
adamc@437
|
197 val sql_time : sql_injectable time
|
adamc@467
|
198 val sql_option_bool : sql_injectable (option bool)
|
adamc@467
|
199 val sql_option_int : sql_injectable (option int)
|
adamc@467
|
200 val sql_option_float : sql_injectable (option float)
|
adamc@467
|
201 val sql_option_string : sql_injectable (option string)
|
adamc@467
|
202 val sql_option_time : sql_injectable (option time)
|
adamc@354
|
203 val sql_inject : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
|
adamc@354
|
204 -> t ::: Type
|
adamc@354
|
205 -> sql_injectable t -> t -> sql_exp tables agg exps t
|
adamc@209
|
206
|
adamc@470
|
207 val sql_is_null : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
|
adamc@470
|
208 -> t ::: Type
|
adamc@470
|
209 -> sql_exp tables agg exps (option t)
|
adamc@470
|
210 -> sql_exp tables agg exps bool
|
adamc@470
|
211
|
adamc@559
|
212 class sql_arith
|
adamc@559
|
213 val sql_int_arith : sql_arith int
|
adamc@559
|
214 val sql_float_arith : sql_arith float
|
adamc@559
|
215
|
adamc@220
|
216 con sql_unary :: Type -> Type -> Type
|
adamc@220
|
217 val sql_not : sql_unary bool bool
|
adamc@354
|
218 val sql_unary : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
|
adamc@354
|
219 -> arg ::: Type -> res ::: Type
|
adamc@354
|
220 -> sql_unary arg res -> sql_exp tables agg exps arg
|
adamc@354
|
221 -> sql_exp tables agg exps res
|
adamc@220
|
222
|
adamc@559
|
223 val sql_neg : t ::: Type -> sql_arith t -> sql_unary t t
|
adamc@559
|
224
|
adamc@220
|
225 con sql_binary :: Type -> Type -> Type -> Type
|
adamc@220
|
226 val sql_and : sql_binary bool bool bool
|
adamc@220
|
227 val sql_or : sql_binary bool bool bool
|
adamc@234
|
228 val sql_binary : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
|
adamc@354
|
229 -> arg1 ::: Type -> arg2 ::: Type -> res ::: Type
|
adamc@354
|
230 -> sql_binary arg1 arg2 res -> sql_exp tables agg exps arg1
|
adamc@354
|
231 -> sql_exp tables agg exps arg2
|
adamc@354
|
232 -> sql_exp tables agg exps res
|
adamc@220
|
233
|
adamc@559
|
234 val sql_plus : t ::: Type -> sql_arith t -> sql_binary t t t
|
adamc@559
|
235 val sql_minus : t ::: Type -> sql_arith t -> sql_binary t t t
|
adamc@559
|
236 val sql_times : t ::: Type -> sql_arith t -> sql_binary t t t
|
adamc@559
|
237 val sql_div : t ::: Type -> sql_arith t -> sql_binary t t t
|
adamc@559
|
238 val sql_mod : sql_binary int int int
|
adamc@559
|
239
|
adamc@559
|
240 val sql_eq : t ::: Type -> sql_binary t t bool
|
adamc@559
|
241 val sql_ne : t ::: Type -> sql_binary t t bool
|
adamc@559
|
242 val sql_lt : t ::: Type -> sql_binary t t bool
|
adamc@559
|
243 val sql_le : t ::: Type -> sql_binary t t bool
|
adamc@559
|
244 val sql_gt : t ::: Type -> sql_binary t t bool
|
adamc@559
|
245 val sql_ge : t ::: Type -> sql_binary t t bool
|
adamc@203
|
246
|
adamc@235
|
247 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
|
adamc@544
|
248 -> sql_exp tables agg exps int
|
adamc@235
|
249
|
adamc@236
|
250 con sql_aggregate :: Type -> Type
|
adamc@354
|
251 val sql_aggregate : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
|
adamc@354
|
252 -> t ::: Type
|
adamc@354
|
253 -> sql_aggregate t -> sql_exp agg agg exps t
|
adamc@354
|
254 -> sql_exp tables agg exps t
|
adamc@236
|
255
|
adamc@236
|
256 class sql_summable
|
adamc@236
|
257 val sql_summable_int : sql_summable int
|
adamc@236
|
258 val sql_summable_float : sql_summable float
|
adamc@236
|
259 val sql_avg : t ::: Type -> sql_summable t -> sql_aggregate t
|
adamc@236
|
260 val sql_sum : t ::: Type -> sql_summable t -> sql_aggregate t
|
adamc@236
|
261
|
adamc@236
|
262 class sql_maxable
|
adamc@236
|
263 val sql_maxable_int : sql_maxable int
|
adamc@236
|
264 val sql_maxable_float : sql_maxable float
|
adamc@236
|
265 val sql_maxable_string : sql_maxable string
|
adamc@437
|
266 val sql_maxable_time : sql_maxable time
|
adamc@236
|
267 val sql_max : t ::: Type -> sql_maxable t -> sql_aggregate t
|
adamc@236
|
268 val sql_min : t ::: Type -> sql_maxable t -> sql_aggregate t
|
adamc@236
|
269
|
adamc@441
|
270 con sql_nfunc :: Type -> Type
|
adamc@441
|
271 val sql_nfunc : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
|
adamc@441
|
272 -> t ::: Type
|
adamc@441
|
273 -> sql_nfunc t -> sql_exp tables agg exps t
|
adamc@441
|
274 val sql_current_timestamp : sql_nfunc time
|
adamc@441
|
275
|
adamc@235
|
276
|
adamc@243
|
277 (*** Executing queries *)
|
adamc@243
|
278
|
adamc@354
|
279 val query : tables ::: {{Type}} -> exps ::: {Type}
|
adamc@629
|
280 -> [tables ~ exps] =>
|
adamc@354
|
281 state ::: Type
|
adamc@354
|
282 -> sql_query tables exps
|
adamc@621
|
283 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)
|
adamc@354
|
284 -> state
|
adamc@354
|
285 -> transaction state)
|
adamc@354
|
286 -> state
|
adamc@354
|
287 -> transaction state
|
adamc@243
|
288
|
adamc@243
|
289
|
adamc@299
|
290 (*** Database mutators *)
|
adamc@299
|
291
|
adamc@299
|
292 type dml
|
adamc@299
|
293 val dml : dml -> transaction unit
|
adamc@299
|
294
|
adamc@299
|
295 val insert : fields ::: {Type}
|
adamc@354
|
296 -> sql_table fields
|
adamc@621
|
297 -> $(map (fn t :: Type => sql_exp [] [] [] t) fields)
|
adamc@354
|
298 -> dml
|
adamc@299
|
299
|
adamc@403
|
300 val update : unchanged ::: {Type} -> changed :: {Type} ->
|
adamc@629
|
301 [changed ~ unchanged] =>
|
adamc@621
|
302 $(map (fn t :: Type => sql_exp [T = changed ++ unchanged] [] [] t) changed)
|
adamc@354
|
303 -> sql_table (changed ++ unchanged)
|
adamc@354
|
304 -> sql_exp [T = changed ++ unchanged] [] [] bool
|
adamc@354
|
305 -> dml
|
adamc@299
|
306
|
adamc@299
|
307 val delete : fields ::: {Type}
|
adamc@354
|
308 -> sql_table fields
|
adamc@354
|
309 -> sql_exp [T = fields] [] [] bool
|
adamc@354
|
310 -> dml
|
adamc@299
|
311
|
adamc@338
|
312 (*** Sequences *)
|
adamc@338
|
313
|
adamc@338
|
314 type sql_sequence
|
adamc@338
|
315 val nextval : sql_sequence -> transaction int
|
adamc@338
|
316
|
adamc@299
|
317
|
adamc@203
|
318 (** XML *)
|
adamc@203
|
319
|
adamc@139
|
320 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
|
adamc@91
|
321
|
adamc@91
|
322
|
adamc@139
|
323 con xml :: {Unit} -> {Type} -> {Type} -> Type
|
adamc@141
|
324 val cdata : ctx ::: {Unit} -> use ::: {Type} -> string -> xml ctx use []
|
adamc@354
|
325 val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type}
|
adamc@354
|
326 -> ctxOuter ::: {Unit} -> ctxInner ::: {Unit}
|
adamc@354
|
327 -> useOuter ::: {Type} -> useInner ::: {Type}
|
adamc@354
|
328 -> bindOuter ::: {Type} -> bindInner ::: {Type}
|
adamc@629
|
329 -> [attrsGiven ~ attrsAbsent] =>
|
adamc@629
|
330 [useOuter ~ useInner] =>
|
adamc@629
|
331 [bindOuter ~ bindInner] =>
|
adamc@629
|
332 $attrsGiven
|
adamc@629
|
333 -> tag (attrsGiven ++ attrsAbsent)
|
adamc@629
|
334 ctxOuter ctxInner useOuter bindOuter
|
adamc@629
|
335 -> xml ctxInner useInner bindInner
|
adamc@629
|
336 -> xml ctxOuter (useOuter ++ useInner) (bindOuter ++ bindInner)
|
adamc@140
|
337 val join : ctx ::: {Unit}
|
adamc@139
|
338 -> use1 ::: {Type} -> bind1 ::: {Type} -> bind2 ::: {Type}
|
adamc@629
|
339 -> [use1 ~ bind1] => [bind1 ~ bind2] =>
|
adamc@354
|
340 xml ctx use1 bind1
|
adamc@354
|
341 -> xml ctx (use1 ++ bind1) bind2
|
adamc@354
|
342 -> xml ctx use1 (bind1 ++ bind2)
|
adamc@354
|
343 val useMore : ctx ::: {Unit} -> use1 ::: {Type} -> use2 ::: {Type}
|
adamc@354
|
344 -> bind ::: {Type}
|
adamc@629
|
345 -> [use1 ~ use2] =>
|
adamc@354
|
346 xml ctx use1 bind
|
adamc@354
|
347 -> xml ctx (use1 ++ use2) bind
|
adamc@91
|
348
|
adamc@110
|
349 con xhtml = xml [Html]
|
adamc@139
|
350 con page = xhtml [] []
|
adamc@325
|
351 con xbody = xml [Body] [] []
|
adamc@326
|
352 con xtr = xml [Body, Tr] [] []
|
adamc@361
|
353 con xform = xml [Body, Form] [] []
|
adamc@110
|
354
|
adamc@204
|
355 (*** HTML details *)
|
adamc@204
|
356
|
adamc@140
|
357 con html = [Html]
|
adamc@140
|
358 con head = [Head]
|
adamc@140
|
359 con body = [Body]
|
adamc@361
|
360 con form = [Body, Form]
|
adamc@332
|
361 con tabl = [Body, Table]
|
adamc@332
|
362 con tr = [Body, Tr]
|
adamc@93
|
363
|
adamc@568
|
364 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> unit
|
adamc@568
|
365 -> tag [Signal = signal (xml ctx use bind)] ctx [] use bind
|
adamc@568
|
366
|
adamc@140
|
367 val head : unit -> tag [] html head [] []
|
adamc@140
|
368 val title : unit -> tag [] head [] [] []
|
adamc@110
|
369
|
adamc@140
|
370 val body : unit -> tag [] html body [] []
|
adamc@354
|
371 con bodyTag = fn (attrs :: {Type}) =>
|
adamc@354
|
372 ctx ::: {Unit} ->
|
adamc@629
|
373 [[Body] ~ ctx] =>
|
adamc@354
|
374 unit -> tag attrs ([Body] ++ ctx) ([Body] ++ ctx) [] []
|
adamc@354
|
375 con bodyTagStandalone = fn (attrs :: {Type}) =>
|
adamc@354
|
376 ctx ::: {Unit}
|
adamc@629
|
377 -> [[Body] ~ ctx] =>
|
adamc@354
|
378 unit -> tag attrs ([Body] ++ ctx) [] [] []
|
adamc@141
|
379
|
adamc@141
|
380 val br : bodyTagStandalone []
|
adamc@119
|
381
|
adamc@140
|
382 val p : bodyTag []
|
adamc@140
|
383 val b : bodyTag []
|
adamc@140
|
384 val i : bodyTag []
|
adamc@407
|
385 val tt : bodyTag []
|
adamc@140
|
386 val font : bodyTag [Size = int, Face = string]
|
adamc@140
|
387
|
adamc@140
|
388 val h1 : bodyTag []
|
adamc@443
|
389 val h2 : bodyTag []
|
adamc@443
|
390 val h3 : bodyTag []
|
adamc@443
|
391 val h4 : bodyTag []
|
adamc@469
|
392
|
adamc@140
|
393 val li : bodyTag []
|
adamc@469
|
394 val ol : bodyTag []
|
adamc@469
|
395 val ul : bodyTag []
|
adamc@140
|
396
|
adamc@410
|
397 val hr : bodyTag []
|
adamc@410
|
398
|
adamc@566
|
399 val a : bodyTag [Link = transaction page, Onclick = transaction unit]
|
adamc@140
|
400
|
adamc@361
|
401 val form : ctx ::: {Unit} -> bind ::: {Type}
|
adamc@629
|
402 -> [[Body] ~ ctx] =>
|
adamc@354
|
403 xml form [] bind
|
adamc@354
|
404 -> xml ([Body] ++ ctx) [] []
|
adamc@361
|
405 con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) =>
|
adamc@354
|
406 ctx ::: {Unit}
|
adamc@629
|
407 -> [[Form] ~ ctx] =>
|
adamc@354
|
408 nm :: Name -> unit
|
adamc@361
|
409 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
|
adamc@598
|
410 val textbox : formTag string [] [Value = string, Size = int, Source = source string]
|
adamc@444
|
411 val password : formTag string [] [Value = string, Size = int]
|
adamc@444
|
412 val textarea : formTag string [] [Rows = int, Cols = int]
|
adamc@153
|
413
|
adamc@361
|
414 val checkbox : formTag bool [] [Checked = bool]
|
adamc@190
|
415
|
adamc@153
|
416 con radio = [Body, Radio]
|
adamc@361
|
417 val radio : formTag string radio []
|
adamc@153
|
418 val radioOption : unit -> tag [Value = string] radio [] [] []
|
adamc@142
|
419
|
adamc@154
|
420 con select = [Select]
|
adamc@361
|
421 val select : formTag string select []
|
adamc@422
|
422 val option : unit -> tag [Value = string, Selected = bool] select [] [] []
|
adamc@154
|
423
|
adamc@568
|
424 val submit : ctx ::: {Unit} -> use ::: {Type}
|
adamc@629
|
425 -> [[Form] ~ ctx] =>
|
adamc@354
|
426 unit
|
adamc@406
|
427 -> tag [Value = string, Action = $use -> transaction page]
|
adamc@361
|
428 ([Form] ++ ctx) ([Form] ++ ctx) use []
|
adamc@283
|
429
|
adamc@601
|
430 (*** AJAX-oriented widgets *)
|
adamc@601
|
431
|
adamc@601
|
432 con cformTag = fn (attrs :: {Type}) =>
|
adamc@601
|
433 ctx ::: {Unit}
|
adamc@629
|
434 -> [[Body] ~ ctx] =>
|
adamc@601
|
435 unit -> tag attrs ([Body] ++ ctx) [] [] []
|
adamc@601
|
436
|
adamc@601
|
437 val ctextbox : cformTag [Value = string, Size = int, Source = source string]
|
adamc@601
|
438 val button : cformTag [Value = string, Onclick = transaction unit]
|
adamc@601
|
439
|
adamc@325
|
440 (*** Tables *)
|
adamc@325
|
441
|
adamc@629
|
442 val tabl : other ::: {Unit} -> [other ~ [Body, Table]] =>
|
adamc@406
|
443 unit -> tag [Border = int] ([Body] ++ other) ([Body, Table] ++ other) [] []
|
adamc@629
|
444 val tr : other ::: {Unit} -> [other ~ [Body, Table, Tr]] =>
|
adamc@406
|
445 unit -> tag [] ([Body, Table] ++ other) ([Body, Tr] ++ other) [] []
|
adamc@629
|
446 val th : other ::: {Unit} -> [other ~ [Body, Tr]] =>
|
adamc@406
|
447 unit -> tag [] ([Body, Tr] ++ other) ([Body] ++ other) [] []
|
adamc@629
|
448 val td : other ::: {Unit} -> [other ~ [Body, Tr]] =>
|
adamc@406
|
449 unit -> tag [] ([Body, Tr] ++ other) ([Body] ++ other) [] []
|
adamc@325
|
450
|
adamc@283
|
451
|
adamc@283
|
452 (** Aborting *)
|
adamc@283
|
453
|
adamc@283
|
454 val error : t ::: Type -> xml [Body] [] [] -> t
|