Mercurial > urweb

comparison lib/ur/basis.urs @ 1358:32c8a3509369

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.cdataChar
author Adam Chlipala <adam@chlipala.net>
date Tue, 21 Dec 2010 18:01:23 -0500
parents a0f0823a54a0
children e525ad571e15
comparison
equal deleted inserted replaced
1357:a0f0823a54a0 1358:32c8a3509369
573 573
574 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type 574 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
575 575
576 con xml :: {Unit} -> {Type} -> {Type} -> Type 576 con xml :: {Unit} -> {Type} -> {Type} -> Type
577 val cdata : ctx ::: {Unit} -> use ::: {Type} -> string -> xml ctx use [] 577 val cdata : ctx ::: {Unit} -> use ::: {Type} -> string -> xml ctx use []
578 val cdataChar : ctx ::: {Unit} -> use ::: {Type} -> char -> xml ctx use []
578 val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type} 579 val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type}
579 -> ctxOuter ::: {Unit} -> ctxInner ::: {Unit} 580 -> ctxOuter ::: {Unit} -> ctxInner ::: {Unit}
580 -> useOuter ::: {Type} -> useInner ::: {Type} 581 -> useOuter ::: {Type} -> useInner ::: {Type}
581 -> bindOuter ::: {Type} -> bindInner ::: {Type} 582 -> bindOuter ::: {Type} -> bindInner ::: {Type}
582 -> [attrsGiven ~ attrsAbsent] => 583 -> [attrsGiven ~ attrsAbsent] =>