comparison src/ur/feed.urs @ 9:f19beef42ceb

Add tag combinator with given attribute values.
author Karn Kallio <kkallio@eka>
date Tue, 31 May 2011 09:21:49 -0430
parents a4e5d053daed
children edc2b467f818
comparison
equal deleted inserted replaced
8:a4e5d053daed 9:f19beef42ceb
23 * tag name, and the following argument gives attribute names. *) 23 * tag name, and the following argument gives attribute names. *)
24 24
25 val tagA : attrs ::: {Unit} -> folder attrs -> string -> $(mapU string attrs) 25 val tagA : attrs ::: {Unit} -> folder attrs -> string -> $(mapU string attrs)
26 -> pattern (tagInternal attrs) $(mapU string attrs) 26 -> pattern (tagInternal attrs) $(mapU string attrs)
27 (* A version of [tag] that ignores CDATA *) 27 (* A version of [tag] that ignores CDATA *)
28
29 val tagAV : attrs ::: {Unit} -> folder attrs -> string -> $(mapU (string * option string) attrs)
30 -> pattern (tagInternal attrs) $(mapU string attrs)
31 (* Extension of tagA with optional specification of values which attributes must
32 * bear in order to count as a match. *)
28 33
29 val tagAO : attrs ::: {Unit} -> folder attrs -> string -> $(mapU string attrs) 34 val tagAO : attrs ::: {Unit} -> folder attrs -> string -> $(mapU string attrs)
30 -> pattern (tagInternal attrs) $(mapU (option string) attrs) 35 -> pattern (tagInternal attrs) $(mapU (option string) attrs)
31 (* A version of [tagA] that makes each attribute optional *) 36 (* A version of [tagA] that makes each attribute optional *)
32 37