Index of modules

randomly permute an array.

This module implements a very low level interface to a mutable AVL tree.

Dealing with stack backtraces.

Imperative set-like data structure.

Extensible string buffers based on Bigstrings.

String type based on Bigarray, for use in I/O and C-bindings

Utility functions for marshalling to and from bigstring

Packs and unpacks various types of integers into and from strings.

A simple boolean domain-specific language

A Bounded_int_table is a table whose keys can be mapped to integers in a fixed range, 0 ...

create measure value creates a t from value units of the given measure.

A representation of CIDR netmasks (e.g.

Clock used to mark the progress of a timer.

purely functional command line parsing

Basic types and definitions required throughout the system.

A signature for a commutative group (in the group-theory sense).

lexicographic cmps x y compares x and y lexicographically using functions in the list cmps.

Used for specifying a bound (either upper or lower) as inclusive, exclusive, or unbounded.

A Comparator.t is a type-indexed value that allows you to compare (and for generating error messages, serialize) values of the type in question.

Composition_preserves_injectivity is a functor that proves that composition of injective types is injective.

A Constr.t represents a single constructor in the extensible variant type.

Parsing of command line arguments.

Maximum length of a normal array.

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.

Values returned by hash must be non-negative.

ceil_pow2 x returns the smallest power of 2 that is greater than or equal to x.

The size of Int63 is always at least 63 bits.

A value of type 'a Lazy.t is a deferred computation, called a suspension, that has a result of type 'a.

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

This module defines the Map module for Core.Std.

This module defines interfaces used in Core.Std.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 in 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.

Pseudo-random number generators (PRNG).

This module defines the Set module for Core.Std.

This module defines interfaces used in Core.Std.Set.

no_raise is the identity, but by using 'a no_raise in a sexpable type, the resulting use sexp_of_no_raise protects the conversion of 'a to a sexp so that if it fails, one gets a sexp with an error message about the failure, rather than an exception being raised.

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.

File descriptor.

Weak is like the OCaml standard library module of the same name, except that it requires that the values in the weak set are heap blocks.

Crc functions

daemonize makes the executing process a daemon.

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

For representing a day of the week.

Deprecated should be used only by Core_extended.Deprecated_command.

A double ended queue that can shrink and expand on both ends.

doubly-linked lists

epoll() - a linux I/O multiplexer of the same family as select() or poll().

This module defines signatures that are to be included in other signatures to ensure a consistent interface to equal functions.

failwiths message value sexp_of_value raises an exception with the supplied message and value, by constructing an Error.t and using Error.raise.

Operations for escaping and unescaping strings, with paramaterized escape and escapeworthy characters.

The termination status of a process.

Raised when finalization after an exception failed, too.

Backtrace.Exn has functions for controlling and printing the backtrace of the most recently raised exception.

File descriptor.

See flags_intf.ml for documentation.

module Flags implements Unix-style sets of flags that are represented as an int with various bits set, one bit for each flag.

Floating-point representation and utilities.

various combinators for functions

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

A simple 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

The difference between Hashable and Hashable_t functors is that the former's result type doesn't contain type t and the latter does.

Min-heap implementation, adapted from CLR.

A heap block is a value that is guaranteed to live on the OCaml heap, and is hence guaranteed to be usable with finalization or in a weak pointer.

I/O-vectors for scatter/gather-operations

Id provides identifiers for types, and the ability to test (via Id.same) at run-time if two identifiers are equal, and if so to get a proof of equality of their types.

a signature for opaque identifier types.

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

Info is a library for lazily constructing human-readable information as a string or sexp, with a primary use being error messages.

Inherit comparability from a component.

An abstract unique identifier based on ordinary OCaml integers.

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

Provides a functor for creating an interned string type.

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.

This module defines signatures that are to be included in other signatures to ensure a consistent interface to invariant-style functions.

Interface to Linux-specific system calls

Mutual exclusion between processes using flock and lockf.

Flags.Make builds a new flags module.

Memoization code -- not re-entrant!

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

of_string s accepts three-character abbreviations with 3 capitalizations (e.g.

list-accumulating keys with a default value of the empty list

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

A nano-mutex is a lightweight mutex that can be used only within a single OCaml runtime.

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

An uninhabited type.

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

This module can be used to safely expose functions and values in signatures that can only be used in unit tests.

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

Type for tracking errors in an Error.t.

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.

Ordering is intended to make code that matches on the result of a comparison more concise and easier to read.

Outputs a list of lines, each terminated by a newline character

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

create enforces that key values are non-decreasing.

ascending is identical to compare.

Interfaces used for hiding and replacing polymorphic compare.

A list of pretty printers for various types, for use in toplevels.

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

Utility functions for dealing with the environment.

Module for easily generating unit tests.

Resource limits

swap t1 t2 swaps the values in t1 and t2.

Register builds a pp function from a to_string function, and adds the module_name ^ ".pp" to the list of pretty printers.

Register_pp is like Register, but allows a custom pp function rather than using to_string.

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).

Basic operations on spans

composable command-line specifications

Thread-safe queue module, using locks.

A type for making staging explicit in the type of a function.

The functions from module State manipulate the current state of the random generator explicitely.

stable_dedup Same as dedup but maintains the order of the list and doesn't allow compare function to be specified (otherwise, the implementation in terms of Set.t would hide a heavyweight functor instantiation at each call).

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

Signature for a 2-tuple module

Signature for a 3-tuple module

A module for representing absolute points in time, independent of time zone.

Timed events

Functors and signatures for dealing with modules for tuples.

For representing type equalities otherwise not known by the type-checker.

Every Id.t contains a unique id that is distinct from the Uid.t in any other Id.t.

Imperative data structure for representing disjoint sets.

Functors for creating modules that mint unique identifiers.

Signature for use by module : Unique_id.

Module for the type unit.

An extensible "universal" variant type, that can be extended by adding new constructors with arguments of arbitrary type.

Universal/heterogeneous maps.

A buffer for incremental decoding of an input stream.

A pair of unix username and primary unix group.

Implements universally unique identifiers based on version 3 of the UUID specification.

A module for organizing validations of data structures.

keys with associated default values, so that find is no longer partial

keys that map to an accumulator value with an associated fold operation

This is include'd and documented in module: Common.

For determining the word size that the program is using.

Time-zone handling.