Mercurial > meta
view html.urs @ 18:6cd839818393
Adjust to name change for [Top.id]
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 29 Dec 2011 14:15:02 -0500 |
parents | 8eaaca74a64c |
children |
line wrap: on
line source
(** Safe HTML parsing *) con attribute = fn t => {Nam : string, Parse : string -> option t} con tag = fn ts => {Nam : string, Attributes : $(map attribute ts), Folder : folder ts, Construct : ctx ::: {Unit} -> [[Body] ~ ctx] => $ts -> xml ([Body] ++ ctx) [] [] -> xml ([Body] ++ ctx) [] []} val tag : use ::: {Type} -> ignore ::: {Type} -> [use ~ ignore] => folder use -> string -> $(map attribute use) -> (ctx ::: {Unit} -> [[Body] ~ ctx] => Basis.tag (use ++ ignore) ([Body] ++ ctx) ([Body] ++ ctx) [] []) -> tag use val simpleTag : ignore ::: {Type} -> string -> bodyTag ignore -> tag [] val simpleTag' : use ::: {Type} -> ignore ::: {Type} -> [use ~ ignore] => folder use -> string -> bodyTag (use ++ ignore) -> $(map attribute use) -> tag use val url : string -> attribute url val format : tags ::: {{Type}} -> folder tags -> $(map tag tags) -> ctx ::: {Unit} -> [[Body] ~ ctx] => string -> Parse.parse (xml ([Body] ++ ctx) [] []) val b : tag [] val i : tag [] val a : tag [Href = url]