Mercurial > feed
comparison src/ur/feed.ur @ 7:05a28a77f6fe
'show' instance for 'document'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 10 Mar 2011 18:36:50 -0500 |
parents | e0bae488825c |
children | f19beef42ceb |
comparison
equal
deleted
inserted
replaced
6:e0bae488825c | 7:05a28a77f6fe |
---|---|
192 case child.Finished cstate of | 192 case child.Finished cstate of |
193 None => None | 193 None => None |
194 | Some (cdata, _) => Some ((pdata, cdata), True)} | 194 | Some (cdata, _) => Some ((pdata, cdata), True)} |
195 | 195 |
196 type document = string | 196 type document = string |
197 val show_document = _ | |
197 | 198 |
198 val fetch = FeedFfi.fetch | 199 val fetch = FeedFfi.fetch |
199 | 200 |
200 fun app [internal ::: Type] [data ::: Type] (p : pattern internal data) (f : data -> transaction {}) (doc : document) : transaction {} = | 201 fun app [internal ::: Type] [data ::: Type] (p : pattern internal data) (f : data -> transaction {}) (doc : document) : transaction {} = |
201 let | 202 let |