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

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
comparison
equal deleted inserted replaced
4:af95d9d73eb5 5:2717458d8951
21 21
22 val tree : parentI ::: Type -> parent ::: Type -> childI ::: Type -> child ::: Type 22 val tree : parentI ::: Type -> parent ::: Type -> childI ::: Type -> child ::: Type
23 -> pattern parentI parent -> pattern childI child 23 -> pattern parentI parent -> pattern childI child
24 -> pattern (treeInternal parentI childI) (parent * child) 24 -> pattern (treeInternal parentI childI) (parent * child)
25 25
26 val app : internal ::: Type -> data ::: Type -> pattern internal data -> (data -> transaction {}) -> string -> transaction {} 26 type document
27
28 val fetch : string (* url *) -> transaction document
29 val app : internal ::: Type -> data ::: Type -> pattern internal data -> (data -> transaction {}) -> document -> transaction {}