Mercurial > feed

comparison src/ur/feed.urs @ 7:05a28a77f6fe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'show' instance for 'document'
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Mar 2011 18:36:50 -0500
parents e0bae488825c
children a4e5d053daed
comparison
equal deleted inserted replaced
6:e0bae488825c 7:05a28a77f6fe
28 val tree : parentI ::: Type -> parent ::: Type -> childI ::: Type -> child ::: Type 28 val tree : parentI ::: Type -> parent ::: Type -> childI ::: Type -> child ::: Type
29 -> pattern parentI parent -> pattern childI child 29 -> pattern parentI parent -> pattern childI child
30 -> pattern (treeInternal parentI childI) (parent * child) 30 -> pattern (treeInternal parentI childI) (parent * child)
31 31
32 type document 32 type document
33 val show_document : show document
33 34
34 val fetch : string (* url *) -> transaction document 35 val fetch : string (* url *) -> transaction document
35 val app : internal ::: Type -> data ::: Type -> pattern internal data -> (data -> transaction {}) -> document -> transaction {} 36 val app : internal ::: Type -> data ::: Type -> pattern internal data -> (data -> transaction {}) -> document -> transaction {}