 Home |
Products |
Support |
Community |
News |
xen-api
[Xen-API] [PATCH] Extensions to the extended standard library (stdext)
| To: | xen-api@xxxxxxxxxxxxxxxxxxx |
|---|---|
| Subject: | [Xen-API] [PATCH] Extensions to the extended standard library (stdext) |
| From: | Matthias Görgens <matthias.goergens@xxxxxxxxxx> |
| Date: | Tue, 26 Jan 2010 15:01:29 +0000 |
| Delivery-date: | Tue, 26 Jan 2010 07:24:55 -0800 |
| Envelope-to: | www-data@xxxxxxxxxxxxxxxxxxx |
| List-help: | <mailto:xen-api-request@lists.xensource.com?subject=help> |
| List-id: | Discussion of API issues surrounding Xen <xen-api.lists.xensource.com> |
| List-post: | <mailto:xen-api@lists.xensource.com> |
| List-subscribe: | <http://lists.xensource.com/mailman/listinfo/xen-api>, <mailto:xen-api-request@lists.xensource.com?subject=subscribe> |
| List-unsubscribe: | <http://lists.xensource.com/mailman/listinfo/xen-api>, <mailto:xen-api-request@lists.xensource.com?subject=unsubscribe> |
| Sender: | xen-api-bounces@xxxxxxxxxxxxxxxxxxx |
| User-agent: | Mercurial-patchbomb/1.3.1 |
- to the Map module - to the List module - and some functional combinators (like compose with (++)) in Fun module stdext/Makefile | 4 ++-- stdext/fun.ml | 18 ++++++++++++++++++ stdext/fun.mli | 6 ++++++ stdext/listext.ml | 4 ++++ stdext/listext.mli | 3 +++ stdext/mapext.ml | 47 +++++++++++++++++++++++++++++++++++++++++++++++ stdext/mapext.mli | 31 +++++++++++++++++++++++++++++++ stdext/opt.ml | 11 +++++++++++ stdext/opt.mli | 1 + stdext/pervasiveext.ml | 9 +++++++++ stdext/pervasiveext.mli | 3 +++ 11 files changed, 135 insertions(+), 2 deletions(-)
_______________________________________________ xen-api mailing list xen-api@xxxxxxxxxxxxxxxxxxx http://lists.xensource.com/mailman/listinfo/xen-api |
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| ||
| Previous by Date: | [Xen-API] [PATCH] Fix bug in LV resizing, Jonathan Ludlam |
|---|---|
| Next by Date: | RE: [Xen-API] [PATCH] Extensions to the extended standard library (stdext), Dave Scott |
| Previous by Thread: | [Xen-API] [PATCH] Fix bug in LV resizing, Jonathan Ludlam |
| Next by Thread: | RE: [Xen-API] [PATCH] Extensions to the extended standard library (stdext), Dave Scott |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
