comparison lib/ur/basis.urs @ 1643:b0720700c36e

'dynClass' pseudo-attribute
author Adam Chlipala <adam@chlipala.net>
date Tue, 27 Dec 2011 16:20:48 -0500
parents c3627f317bfd
children ac141fbb313a
comparison
equal deleted inserted replaced
1642:c3627f317bfd 1643:b0720700c36e
643 -> bindOuter ::: {Type} -> bindInner ::: {Type} 643 -> bindOuter ::: {Type} -> bindInner ::: {Type}
644 -> [attrsGiven ~ attrsAbsent] => 644 -> [attrsGiven ~ attrsAbsent] =>
645 [useOuter ~ useInner] => 645 [useOuter ~ useInner] =>
646 [bindOuter ~ bindInner] => 646 [bindOuter ~ bindInner] =>
647 option css_class 647 option css_class
648 -> option (signal css_class)
648 -> $attrsGiven 649 -> $attrsGiven
649 -> tag (attrsGiven ++ attrsAbsent) 650 -> tag (attrsGiven ++ attrsAbsent)
650 ctxOuter ctxInner useOuter bindOuter 651 ctxOuter ctxInner useOuter bindOuter
651 -> xml ctxInner useInner bindInner 652 -> xml ctxInner useInner bindInner
652 -> xml ctxOuter (useOuter ++ useInner) (bindOuter ++ bindInner) 653 -> xml ctxOuter (useOuter ++ useInner) (bindOuter ++ bindInner)