Mercurial > feed
diff 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 |
line wrap: on
line diff
--- a/src/ur/feed.urs Sat Mar 19 14:35:11 2011 -0400 +++ b/src/ur/feed.urs Tue May 31 09:21:49 2011 -0430 @@ -26,6 +26,11 @@ -> pattern (tagInternal attrs) $(mapU string attrs) (* A version of [tag] that ignores CDATA *) +val tagAV : attrs ::: {Unit} -> folder attrs -> string -> $(mapU (string * option string) attrs) + -> pattern (tagInternal attrs) $(mapU string attrs) +(* Extension of tagA with optional specification of values which attributes must + * bear in order to count as a match. *) + val tagAO : attrs ::: {Unit} -> folder attrs -> string -> $(mapU string attrs) -> pattern (tagInternal attrs) $(mapU (option string) attrs) (* A version of [tagA] that makes each attribute optional *)