Mercurial > feed
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 |