Mercurial > feed

diff src/ur/feed.urs @ 5:2717458d8951

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Splitting fetching and traversal into separate functions
author Adam Chlipala <adam@chlipala.net>
date Thu, 13 Jan 2011 10:02:37 -0500
parents af95d9d73eb5
children e0bae488825c
line wrap: on
line diff
--- a/src/ur/feed.urs	Tue Jan 11 18:04:15 2011 -0500
+++ b/src/ur/feed.urs	Thu Jan 13 10:02:37 2011 -0500
@@ -23,4 +23,7 @@
            -> pattern parentI parent -> pattern childI child
            -> pattern (treeInternal parentI childI) (parent * child)
 
-val app : internal ::: Type -> data ::: Type -> pattern internal data -> (data -> transaction {}) -> string -> transaction {}
+type document
+
+val fetch : string (* url *) -> transaction document
+val app : internal ::: Type -> data ::: Type -> pattern internal data -> (data -> transaction {}) -> document -> transaction {}