Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-reins-0.1a-2.fc10 RPM for x86_64

From Fedora Development for x86_64

Name: ocaml-reins Distribution: Unknown
Version: 0.1a Vendor: Fedora Project
Release: 2.fc10 Build date: Fri Sep 5 21:43:04 2008
Group: Development/Libraries Build host: x86-4.fedora.phx.redhat.com
Size: 3052659 Source RPM: ocaml-reins-0.1a-2.fc10.src.rpm
Packager: Fedora Project
Url: http://ocaml-reins.sourceforge.net/
Summary: Library of OCaml persistent data structures
Reins is a collection of persistent data structures for OCaml.

In addition to providing a large collection of data structures, the
O'Caml Reins project also includes several features that I hope will
make developing O'Caml applications easier such as a random testing
framework and a collection of "standard" modules.

Current features:

* List data types:
   o Single linked lists (compatible with the standard library type)
   o O(1) catenable lists
   o Acyclic double linked lists
   o Random access lists with O(1) hd/cons/tl and O(log i) lookup/update
     for i'th element
* Double ended queues
* Sets/Maps:
   o AVL
   o Red/Black
   o Big-endian Patricia
   o Splay
* Heaps:
   o Binomial
   o Skew Binomial
* Zipper style cursor interfaces
* Persistent, bi-directional cursor based iterators (currently only
  for lists and sets)
* All standard types hoisted into the module level (Int, Bool, etc...)
* A collection of functor combinators to minimize boilerplate (e.g.,
  constructing compare or to_string functions)
* Quickcheck testing framework
   o Each structure provides a gen function that can generate a random
     instance of itself
* Completely safe code. No -unsafe or references to Obj.*
* Consistent function signatures. For instance, all fold functions take
  the accumulator in the same position.
* All operations use no more than O(log n) stack space (except for a
  few operations on splay trees which currently have O(log n) expected
  time, but O(n) worst case)

Provides

Copyright

LGPLv2 with exceptions

Signatures

internal MD5: 2be2b850aaff0d37f2584aa359d71c74
GPG

Changelog

* Thu Sep 04 2008 Richard W.M. Jones <rjones@redhat.com> - 0.1a-2
  - Use normal versioning scheme.
* Sun Aug 31 2008 Richard W.M. Jones <rjones@redhat.com> - 0.1-0.1.a
  - Initial RPM release.

Files

	


Generated by rpm2html 1.8.1

Daniel Veillard, Sat Jan 3 03:33:40 2009