Mercurial > urweb

comparison lib/ur/basis.urs @ 718:f152f215a02c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents e28637743279
children 5c099b1308ae
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
402 type sql_sequence 402 type sql_sequence
403 val nextval : sql_sequence -> transaction int 403 val nextval : sql_sequence -> transaction int
404 404
405 405
406 (** XML *) 406 (** XML *)
407
408 con css_class :: {Unit} -> Type
409 (* The argument lists categories of properties that this class could set usefully. *)
407 410
408 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type 411 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
409 412
410 413
411 con xml :: {Unit} -> {Type} -> {Type} -> Type 414 con xml :: {Unit} -> {Type} -> {Type} -> Type
438 con page = xhtml [] [] 441 con page = xhtml [] []
439 con xbody = xml [Body] [] [] 442 con xbody = xml [Body] [] []
440 con xtr = xml [Body, Tr] [] [] 443 con xtr = xml [Body, Tr] [] []
441 con xform = xml [Body, Form] [] [] 444 con xform = xml [Body, Form] [] []
442 445
446
443 (*** HTML details *) 447 (*** HTML details *)
444 448
445 con html = [Html] 449 con html = [Html]
446 con head = [Head] 450 con head = [Head]
447 con body = [Body] 451 con body = [Body]