Mercurial > urweb

comparison lib/ur/basis.urs @ 1477:d65387bdc557

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'show' instance for 'css_class'
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Jun 2011 08:44:03 -0400
parents 3bef8d50b4d6
children 4300592e6803
comparison
equal deleted inserted replaced
1476:3bef8d50b4d6 1477:d65387bdc557
591 591
592 592
593 (** XML *) 593 (** XML *)
594 594
595 type css_class 595 type css_class
596 val show_css_class : show css_class
596 val classes : css_class -> css_class -> css_class 597 val classes : css_class -> css_class -> css_class
597 (* The equivalent of writing one class after the other, separated by a space, in 598 (* The equivalent of writing one class after the other, separated by a space, in
598 * an HTML 'class' attribute *) 599 * an HTML 'class' attribute *)
599 600
600 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type 601 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type