Index of types
Index of exceptions
Index of values
Index of modules
Index of module types


Agnostic_mutex
Agnostic mutexes do not remember the thread by which they got locked.
Algebraic_group
Array_permute
randomly permute an array.
Avltree
estokes:
Bag
A bag is a data structure like a set, except that: * * - It doesn't require anything (hashable, comparable) of elements in the bag.
Bigbuffer
Extensible string buffers.
Bigstring
Types and exceptions
Bigsubstring
Binable
Binary_packing
Blang
Simple boolean language
Bool
Bucket
Byte_units
Caml
Common
Basic types and definitions required throughout the system.
Comparable
Inherit comparability from a component.
Constrained_float
Container
fold f a [b1; ...; bn] is f (... (f (f a b1) b2) ...) bn.
Core_arg
Core_array
Array.get a n returns the element number n of array a.
Core_bin_prot
Core_char
Character operations.
Core_condition
timedwait cond mtx timeout waits on condition variable cond with mutex mtx until either the condition is signalled, or until timeout expires.
Core_field
Core_filename
Warning! this library assumes we are in a POSIX compliant OS.
Core_gc
Memory management control and statistics; finalised values.
Core_hashtbl
For many students of ocaml, using hashtables is complicated by the functors.
Core_hashtbl_intf
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).
Core_int
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.
Core_int32
Core_int63
The size of Int63 is always at least 63 bits.
Core_int64
Core_list
Tail recursive version of standard List functions, plus additional operations.
Core_map
Polymorphic map module.
Core_map_intf
the empty map
Core_mutex
lock mtx locks mtx, possibly waiting for it to be released first by another thread.
Core_nativeint
Core_printexc
This module is here to ensure that we don't use the functions Caml.Printexc inadvertently
Core_printf
Formatting error and exit functions
Core_queue
Core_queue is a wrapper around OCaml's standard Queue module that follows Core idioms and adds some functions.
Core_set
Polymorphic set module.
Core_set_intf
Core_sexp
Core_stack
Core_stack is a replacement for OCaml's standard Stack module that follows Core idioms and adds some functions.
Core_string
An extension of the standard StringLabels.
Core_sys
System interface.
Core_thread
Lightweight threads.
Core_unix
Interface to the Unix system.
Crc
Crc functions
Daemon
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.
Date
converts a string to a date, in formats: * m/d/y * y-m-d (* valid iso8601_extended *) * DD MMM YYYY * DDMMMYYYY * YYYYMMDD
Dequeue
An array that can shrink and expand on both ends - the minimum index need not be 0.
Doubly_linked
doubly-linked lists
Error_check
Module for 'toggle' error checking.
Exn
Raised when finalization after an exception failed, too.
Float
Floatable
Float_intf
Floating-point representation and utilities.
Float_robust_compare
Fn
various combinators for functions
Force_once
A "force_once" is a thunk that can only be forced once.
Fqueue
Simple implementation of a polymorphic functional queue.
Hashable
Hash_heap
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.
Hash_queue
a hash-queue, where the values are of type 'a
Hash_set
Hash_set_intf
Heap
Min-heap implementation, adapted from CLR.
Host_and_port
Identifiable
This module type is used to create various opaque identifier types.
In_channel
In_channel collects all of the pervasive functions that work on in_channels.
Intable
Int_conversions
Takes an int represented as a string ((-|+)?0-9+) and puts delimiter every 3 digits starting from the right.
Interfaces
Interval
Module for simple closed intervals over arbitrary types that are ordered correctly using polymorphic compare.
Interval_intf
Module for simple closed intervals over arbitrary types that are ordered correctly using polymorphic compare.
Int_intf
Int_set
An implementation of compressed integer sets using lists of integer ranges.
Linebuf
Line-by-line reading of a file.
Local_utest
Lock_file
Mutual exclusion between processes using flock and lockf.
Make_substring
Memo
Memoization code -- not re-entrant!
Monad
t >>= f returns a computation that sequences the computations represented by two monad elements.
Month
sexp_of_t_mode controls how months are converted to strings by sexp_of_t.
Mutex0
create like Mutex.create, but creates an error-checking mutex.
Ofday
add t s shifts the time of day t by the span s.
Option
Option wraps the output x of successful functions in Some x.
Ordered_collection_common
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.
Out_channel
Piecewise_linear
piece-wise linear interpolation from float-like types to float
Pretty_printer
Quickcheck
Module for easily generating unit tests.
Ref
equal t1 t2 returns true if t1 and t2 are the same ref cell.
Result
Result is often used to handle error messages.
Robustly_comparable
Set_once
This module implements an option ref that starts out as None, and may be set only once.
Sexpable
Signal
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).
Space_safe_tuple
The raison d'etre for Space_safe_tuple<N> is that OCaml doesn't properly free variables matched in tuple patterns.
Span
Basic operations on spans
Squeue
Thread-safe queue module, using locks.
Std
Std_internal
Stringable
String_id
Substring
Substring_intf
create ?pos ?len base creates a substring of the base sequence of * length len starting at position pos, i.e.
Sys_open_patch
This module is here to avoid holding the runtime lock when doing an open_in_gen lock.
Terminal_io_intf
Ignore the break condition.
Thread_safe_queue
Time
Our time module.
Time_internal
Timer
Timed events
Tuple
Unique_id
Unique_id_intf
Unit
Utest
Lightweight module for registering and running unit tests
Weekday
of_string s accepts three-character abbreviations with any capitalization
With_return
Word_size
Zone
find name looks up a t by its name and returns it.
Linux_ext
Interface to Linux-specific system calls
Bigstring_marshal
Utility functions for marshalling to and from bigstring