Mercurial > feed

comparison src/ur/feed.urs @ 10:edc2b467f818

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add a version of Feed.app which threads state.
author Karn Kallio <kkallio@eka>
date Thu, 09 Jun 2011 12:59:27 -0430
parents f19beef42ceb
children 43c3fbd8527a
comparison
equal deleted inserted replaced
9:f19beef42ceb 10:edc2b467f818
67 (* Type of uninterpreted XML documents *) 67 (* Type of uninterpreted XML documents *)
68 68
69 val fetch : string -> transaction document 69 val fetch : string -> transaction document
70 (* Retrieve a document by URL. *) 70 (* Retrieve a document by URL. *)
71 71
72 val app' : internal ::: Type -> data ::: Type -> acc ::: Type -> pattern internal data
73 -> (data -> acc -> transaction acc) -> document -> acc -> transaction acc
74 (* Find all matches of a pattern in a document, running an imperative function
75 * on the data returned by each match while threading through some state. *)
76
72 val app : internal ::: Type -> data ::: Type -> pattern internal data -> (data -> transaction {}) -> document -> transaction {} 77 val app : internal ::: Type -> data ::: Type -> pattern internal data -> (data -> transaction {}) -> document -> transaction {}
73 (* Find all matches of a pattern in a document, running an imperative function 78 (* Find all matches of a pattern in a document, running an imperative function
74 * on the data returned by each match. *) 79 * on the data returned by each match. *)