Ur/Web: lib/basis.lig annotate

Basic XML stuff

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 03 Jul 2008 16:26:28 -0400
parents	d3cc191cb25f
children	94afff1ff7f6

rev	line source
adamc@56	1 type int
adamc@56	2 type float
adamc@56	3 type string
adamc@91	4
adamc@91	5
adamc@91	6 con tag :: {Unit} -> {Unit} -> Type
adamc@91	7
adamc@91	8
adamc@91	9 con xml :: {Unit} -> Type
adamc@91	10 val cdata : ctx ::: {Unit} -> string -> xml ctx
adamc@91	11 val tag : outer ::: {Unit} -> inner ::: {Unit}
adamc@91	12 -> tag outer inner
adamc@91	13 -> xml inner
adamc@91	14 -> xml outer
adamc@91	15 val join : shared :: {Unit}
adamc@91	16 -> ctx1 ::: {Unit} -> ctx1 ~ shared
adamc@91	17 -> ctx2 ::: {Unit} -> ctx2 ~ shared
adamc@91	18 -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
adamc@91	19
adamc@91	20
adamc@91	21 val head : tag [Html] [Head]
adamc@91	22 val title : tag [Head] []

Mercurial > urweb