Mercurial > urweb

comparison lib/ur/basis.urs @ 1750:277480862cef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'style' attributes
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 14:01:29 -0400
parents f9e5a8e09cdf
children acadf9d1214a
comparison
equal deleted inserted replaced
1749:f9e5a8e09cdf 1750:277480862cef
634 (* No special formatting *) 634 (* No special formatting *)
635 val classes : css_class -> css_class -> css_class 635 val classes : css_class -> css_class -> css_class
636 (* The equivalent of writing one class after the other, separated by a space, in 636 (* The equivalent of writing one class after the other, separated by a space, in
637 * an HTML 'class' attribute *) 637 * an HTML 'class' attribute *)
638 638
639 type css_value
640 val atom : string -> css_value
641 type url
642 val css_url : url -> css_value
643 type css_property
644 val property : string -> css_property
645 val value : css_property -> css_value -> css_property
646 type css_style
647 val noStyle : css_style
648 val oneProperty : css_style -> css_property -> css_style
649
639 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type 650 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
640 651
641 con xml :: {Unit} -> {Type} -> {Type} -> Type 652 con xml :: {Unit} -> {Type} -> {Type} -> Type
642 val cdata : ctx ::: {Unit} -> use ::: {Type} -> string -> xml ctx use [] 653 val cdata : ctx ::: {Unit} -> use ::: {Type} -> string -> xml ctx use []
643 val cdataChar : ctx ::: {Unit} -> use ::: {Type} -> char -> xml ctx use [] 654 val cdataChar : ctx ::: {Unit} -> use ::: {Type} -> char -> xml ctx use []
648 -> [attrsGiven ~ attrsAbsent] => 659 -> [attrsGiven ~ attrsAbsent] =>
649 [useOuter ~ useInner] => 660 [useOuter ~ useInner] =>
650 [bindOuter ~ bindInner] => 661 [bindOuter ~ bindInner] =>
651 css_class 662 css_class
652 -> option (signal css_class) 663 -> option (signal css_class)
664 -> css_style
653 -> $attrsGiven 665 -> $attrsGiven
654 -> tag (attrsGiven ++ attrsAbsent) 666 -> tag (attrsGiven ++ attrsAbsent)
655 ctxOuter ctxInner useOuter bindOuter 667 ctxOuter ctxInner useOuter bindOuter
656 -> xml ctxInner useInner bindInner 668 -> xml ctxInner useInner bindInner
657 -> xml ctxOuter (useOuter ++ useInner) (bindOuter ++ bindInner) 669 -> xml ctxOuter (useOuter ++ useInner) (bindOuter ++ bindInner)
693 (*** HTML details *) 705 (*** HTML details *)
694 706
695 type queryString 707 type queryString
696 val show_queryString : show queryString 708 val show_queryString : show queryString
697 709
698 type url
699 val show_url : show url 710 val show_url : show url
700 val bless : string -> url 711 val bless : string -> url
701 val checkUrl : string -> option url 712 val checkUrl : string -> option url
702 val currentUrl : transaction url 713 val currentUrl : transaction url
703 val currentUrlHasPost : transaction bool 714 val currentUrlHasPost : transaction bool