Index of modules

Agnostic mutexes do not remember the thread by which they got locked.

randomly permute an array.

estokes:

A bag is a data structure like a set, except that: * * - It doesn't require anything (hashable, comparable) of elements in the bag.

Extensible string buffers.

Types and exceptions

Utility functions for marshalling to and from bigstring

Simple boolean language

Basic types and definitions required throughout the system.

Inherit comparability from a component.

fold f a [b1; ...; bn] is f (... (f (f a b1) b2) ...) bn.

Array.get a n returns the element number n of array a.

Character operations.

timedwait cond mtx timeout waits on condition variable cond with mutex mtx until either the condition is signalled, or until timeout expires.

Warning! this library assumes we are in a POSIX compliant OS.

Memory management control and statistics; finalised values.

For many students of ocaml, using hashtables is complicated by the functors.

change t key f updates the given table by changing the value stored under key according to f, just like Map.change (see that for example).

mod and div operators that have the right behavior on negative numbers, that is, x % y always returns a positive int between 0 and y-1.

The size of Int63 is always at least 63 bits.

Tail recursive version of standard List functions, plus additional operations.

Polymorphic map module.

the empty map

lock mtx locks mtx, possibly waiting for it to be released first by another thread.

This module is here to ensure that we don't use the functions Caml.Printexc inadvertently

Formatting error and exit functions

Core_queue is a wrapper around OCaml's standard Queue module that follows Core idioms and adds some functions.

Polymorphic set module.

Core_stack is a replacement for OCaml's standard Stack module that follows Core idioms and adds some functions.

An extension of the standard StringLabels.

System interface.

Lightweight threads.

Interface to the Unix system.

Crc functions

daemonize ?(close_stdio = true) ?(cd = "/") ?umask=[0] () makes the current executing process a daemon, and dups /dev/null to stdin/stdout/stderr if close_stdio=true.

converts a string to a date, in formats: * m/d/y * y-m-d (* valid iso8601_extended *) * DD MMM YYYY * DDMMMYYYY * YYYYMMDD

This functor will give you comparison functions which automatically call debug_printf when they are called with what they were called with and their result

An array that can shrink and expand on both ends - the minimum index need not be 0.

doubly-linked lists

Module for 'toggle' error checking.

Raised when finalization after an exception failed, too.

File descriptor.

Floating-point representation and utilities.

various combinators for functions

A "force_once" is a thunk that can only be forced once.

Simple implementation of a polymorphic functional queue.

Structure of entries in the groups database.

A hash-heap is a combination of a heap and a hashtbl that supports constant time lookup, and log(n) time removal and replacement of elements in addition to the normal heap operations.

a hash-queue, where the values are of type 'a

Min-heap implementation, adapted from CLR.

I/O-vectors for scatter/gather-operations

This module type is used to create various opaque identifier types.

In_channel collects all of the pervasive functions that work on in_channels.

Inherit comparability from a component.

Takes an int represented as a string ((-|+)?0-9+) and puts delimiter every 3 digits starting from the right.

An implementation of compressed integer sets using lists of integer ranges.

Module for simple closed intervals over arbitrary types that are ordered correctly using polymorphic compare.

Module for simple closed intervals over arbitrary types that are ordered correctly using polymorphic compare.

Line-by-line reading of a file.

Interface to Linux-specific system calls

Mutual exclusion between processes using flock and lockf.

Memoization code -- not re-entrant!

t >>= f returns a computation that sequences the computations represented by two monad elements.

sexp_of_t_mode controls how months are converted to strings by sexp_of_t.

create like Mutex.create, but creates an error-checking mutex.

an implementation neutral NFS lock file scheme that relies on the atomicity of link and rename over NFS (see NFS Illustrated, atomicity for more information).

Of_stringable_sexpable, Of_stringable and Of_sexpable creates an identiable that uses string conversions for binable, sexpable, equality, hash, compare, and pp.

add t s shifts the time of day t by the span s.

Option wraps the output x of successful functions in Some x.

normalize length_fun thing_with_length i is just i, unless i is negative, in which case it's length_fun thing_with_length + i.

Returns the fractional part and the whole (i.e.

Structure of entries in the passwd database

piece-wise linear interpolation from float-like types to float

Similar to UnixLabels.open_process, but the second argument specifies the environment passed to the command.

The termination status of a process.

Module for easily generating unit tests.

Resource limits

equal t1 t2 returns true if t1 and t2 are the same ref cell.

Resource usage -- For details, "man getrusage"

Result is often used to handle error messages.

Wait until some input/output operations become possible on some channels.

This module implements an option ref that starts out as None, and may be set only once.

of_system_int and to_system_int return and take respectively a signal number corresponding to those in the system's /usr/include/bits/signum.h (or equivalent).

The raison d'etre for Space_safe_tuple<N> is that OCaml doesn't properly free variables matched in tuple patterns.

Basic operations on spans

Thread-safe queue module, using locks.

Module for 'step' error checking with a moving threshold.

create ?pos ?len base creates a substring of the base sequence of * length len starting at position pos, i.e.

This module is here to avoid holding the runtime lock when doing an open_in_gen lock.

Ignore the break condition.

Our time module.

Timed events

Module for 'toggle' error checking.

ToggleN error checking is the same as Toggle, except here you may specify a maximum number of failures that will be reported.

Lightweight module for registering and running unit tests

of_string s accepts three-character abbreviations with any capitalization

find name looks up a t by its name and returns it.