- Name: ocaml-reins
- Version: 0.1a
- Release: 14.fc18
- Epoch:
- Group: Development/Libraries
- License: LGPLv2 with exceptions
- Url: http://ocaml-reins.sourceforge.net/
- Summary: Library of OCaml persistent data structures
- Architecture: i686
- Size: 2330078
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
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)
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables
- Cookie:
- Buildhost: buildvm-18.phx2.fedoraproject.org
Sources packages:
Other version of this rpm: