Mercurial > urweb

comparison lib/ur/basis.urs @ 721:9864b64b1700

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Classes as optional arguments to Basis.tag
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 14:19:15 -0400
parents acb8537f58f0
children 12ec14a6be0b
comparison
equal deleted inserted replaced
720:acb8537f58f0 721:9864b64b1700
403 val nextval : sql_sequence -> transaction int 403 val nextval : sql_sequence -> transaction int
404 404
405 405
406 (** XML *) 406 (** XML *)
407 407
408 con css_class :: {Unit} -> Type 408 type css_class
409 (* The argument lists categories of properties that this class could set usefully. *)
410 409
411 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type 410 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
412
413 411
414 con xml :: {Unit} -> {Type} -> {Type} -> Type 412 con xml :: {Unit} -> {Type} -> {Type} -> Type
415 val cdata : ctx ::: {Unit} -> use ::: {Type} -> string -> xml ctx use [] 413 val cdata : ctx ::: {Unit} -> use ::: {Type} -> string -> xml ctx use []
416 val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type} 414 val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type}
417 -> ctxOuter ::: {Unit} -> ctxInner ::: {Unit} 415 -> ctxOuter ::: {Unit} -> ctxInner ::: {Unit}
418 -> useOuter ::: {Type} -> useInner ::: {Type} 416 -> useOuter ::: {Type} -> useInner ::: {Type}
419 -> bindOuter ::: {Type} -> bindInner ::: {Type} 417 -> bindOuter ::: {Type} -> bindInner ::: {Type}
420 -> [attrsGiven ~ attrsAbsent] => 418 -> [attrsGiven ~ attrsAbsent] =>
421 [useOuter ~ useInner] => 419 [useOuter ~ useInner] =>
422 [bindOuter ~ bindInner] => 420 [bindOuter ~ bindInner] =>
423 $attrsGiven 421 option css_class
422 -> $attrsGiven
424 -> tag (attrsGiven ++ attrsAbsent) 423 -> tag (attrsGiven ++ attrsAbsent)
425 ctxOuter ctxInner useOuter bindOuter 424 ctxOuter ctxInner useOuter bindOuter
426 -> xml ctxInner useInner bindInner 425 -> xml ctxInner useInner bindInner
427 -> xml ctxOuter (useOuter ++ useInner) (bindOuter ++ bindInner) 426 -> xml ctxOuter (useOuter ++ useInner) (bindOuter ++ bindInner)
428 val join : ctx ::: {Unit} 427 val join : ctx ::: {Unit}