Mercurial > urweb

comparison lib/basis.urs @ 325:e457d8972ff1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud listing IDs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 17:41:52 -0400
parents 99e4f39e820d
children 950320f33232
comparison
equal deleted inserted replaced
324:b91480c9a729 325:e457d8972ff1
248 -> xml ctx use1 bind 248 -> xml ctx use1 bind
249 -> xml ctx (use1 ++ use2) bind 249 -> xml ctx (use1 ++ use2) bind
250 250
251 con xhtml = xml [Html] 251 con xhtml = xml [Html]
252 con page = xhtml [] [] 252 con page = xhtml [] []
253 con xbody = xml [Body] [] []
253 254
254 (*** HTML details *) 255 (*** HTML details *)
255 256
256 con html = [Html] 257 con html = [Html]
257 con head = [Head] 258 con head = [Head]
302 303
303 val submit : ctx ::: {Unit} -> [LForm] ~ ctx 304 val submit : ctx ::: {Unit} -> [LForm] ~ ctx
304 -> use ::: {Type} -> unit 305 -> use ::: {Type} -> unit
305 -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] 306 -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use []
306 307
308 (*** Tables *)
309
310 val tabl : unit -> tag [Border = int] [Body] [Body, Table] [] []
311 val tr : unit -> tag [] [Body, Table] [Body, Tr] [] []
312 val th : unit -> tag [] [Body, Tr] [Body] [] []
313 val td : unit -> tag [] [Body, Tr] [Body] [] []
314
307 315
308 (** Aborting *) 316 (** Aborting *)
309 317
310 val error : t ::: Type -> xml [Body] [] [] -> t 318 val error : t ::: Type -> xml [Body] [] [] -> t