Mercurial > feed

comparison src/ur/feed.urs @ 21:7275f59cab61

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tagAOR and a Reddit example of using it
author Adam Chlipala <adam@chlipala.net>
date Sat, 29 Sep 2012 10:30:00 -0400
parents f641cfcd5153
children
comparison
equal deleted inserted replaced
20:dd5b333a7960 21:7275f59cab61
32 * bear in order to count as a match. *) 32 * bear in order to count as a match. *)
33 33
34 val tagAO : attrs ::: {Unit} -> folder attrs -> string -> $(mapU string attrs) 34 val tagAO : attrs ::: {Unit} -> folder attrs -> string -> $(mapU string attrs)
35 -> pattern (tagInternal attrs) $(mapU (option string) attrs) 35 -> pattern (tagInternal attrs) $(mapU (option string) attrs)
36 (* A version of [tagA] that makes each attribute optional *) 36 (* A version of [tagA] that makes each attribute optional *)
37
38 val tagAOR : optional ::: {Unit} -> required ::: {Unit} -> [optional ~ required]
39 => folder optional -> folder required -> string
40 -> $(mapU string required) -> $(mapU string optional)
41 -> pattern (tagInternal (optional ++ required))
42 $(mapU string required ++ mapU (option string) optional)
43 (* A version of [tagAO] that does a check for mere presence of other attributes *)
37 44
38 val tagC : string -> pattern (tagInternal []) string 45 val tagC : string -> pattern (tagInternal []) string
39 (* A version of [tag] that only matches tags with nonempty CDATA and returns 46 (* A version of [tag] that only matches tags with nonempty CDATA and returns
40 * only that text *) 47 * only that text *)
41 48