Mercurial > feed
comparison src/ur/feed.urs @ 7:05a28a77f6fe
'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 {} |