Index of values

Create a TestLabel for a test

Create a TestLabel for a TestCase

Create a TestLabel for a TestList

Shorthand for assert_bool

add x y m returns a map containing the same bindings as m, plus a binding of x to y.

adds the element to the list, if the list don't contains it already.

add' x y m returns m if y = None, and add x (Some e) m if y = Some e.

add a list of key,img pairs to the map

add another log target

apply f x runs the function f and gives x as parameter.

apply' x f runs the function f and gives x as parameter.

Signals a failure when bool is false.

Compares two values, when they are not equal a failure is signaled.

Signals a failure.

Asserts if the expected exception was raised.

Signals a failure when the string is non-empty.

assoc' a l == Some b iff assoc a l == b.

Change the log target

Compare floats up to a given relative error.

compares two values

Total ordering between maps.

Compares two lists using a compare operator over the elements of the list.

Returns a total ordering of tuppels with two components

Returns a total ordering of tuppels with three components

compare_all m1 m2 compares two maps and respects the full history of the two maps.

compare_ignore_order ~equal:eq l1 l2 returns true if the two lists l1 and l2 has the same elements.

compare_to_equal f returns a function that returns true of f a b == 0, otherwise it returns false.

concatenate to paths

Debug log

diff l1 l2 contains all elements of l1 that are not part of l2 if l1, l2 as sets.

Disable the ansi color escape sequence usage, if you log to stdout.

Disable the ansi escape sequence usage, if you log to stdout.

disable the level and all levels with lower priority.

Returns the domain of the map as a list of keys

The empty map

enable the given level and all level with higher priority.

ends_with s x returns true if the string s is ending with x.

equal m1 m2 tests whether the maps m1 and m2 are equal, that is, contain equal keys and associate them with equal data.

equal m1 m2 tests whether the maps m1 and m2 are equal.

Error log

exists str sub returns true if sub is a substring of str or false otherwise.

explode s returns the list of characters in the string s.

Fatal log

Returns the image of the given key.

find s x returns the starting index of the string x within the string s or raises Invalid_string if x is not a substring of s.

Similar to find, but does not raise an error if no image is found.

like find, but does not throw an error.

fixpoint f a applies f to a, then f to f a, and so on, until a fixpoint is reached and f x == x for some x = f ... f a.

flip f turns the order of parameters of f, if f is a function with two parameters.

fold f m a computes (f kN dN ... (f k1 d1 a)...), where k1 ... kN are the keys of all bindings in m (in increasing order), and d1 ... dN are the associated data.

fold_all f m behaves like fold f m, except that also the hidden bindings are passed to f.

fold_left f a s is f (... (f (f a s.[0]) s.[1]) ...) s.[n-1]

fold_right f s b is f s.[0] (f s.[1] (... (f s.[n-1] b) ...))

fold_two f a m1 m2 fold the two maps m1 and m2 together.

creates a new map from a assignment list

Full Debug log

Full info log

returns the operation system

The identity function

implode cs returns a string resulting from concatenating the characters in the list cs.

Info log

init l f returns the string of length l with the chars f 0 , f 1 , f 2 ...

install_tests "module" f adds for the module give as first parameter all test into the test suite, if run tests is called.

inter l1 l2 contains the intersection of the two sets l1 and l2.

Tests if the map is empty or not.

returns true if the list is empty, otherwise returns false.

Checks if level is enabled.

iter f m applies f to all bindings in map m.

iter_all f m applies f to all bindings in map m.

Same as concat

lazy_concat s1 s2 concats the two suspensions if the result is forced.

Returns the same string but without the first character.

one log level

one log level

one log level

one log level

one log level

one log level

list of log level names

Converts string into level.

one log level

creates a path from a string

map f m returns a map with same domain as m, where the associated value a of all bindings of m has been replaced by the result of the application of f to a.

map f s returns a string where all characters c in s have been replaced by f c.

map_all f m behaves like map f m, except that also the hidden bindings are passed to f.

map_to_list f m returns the list of values that f return, if it is applied to the key and image values of the map m.

Same as S.map, but the function receives as arguments both the key and the associated value for each binding of the map.

mapi f l applies f to each element of the list and also gives the position of the list element as first parameter.

mapi_all f m behaves like mapi f m, except that also the hidden bindings are passed to f.

mapi_and_map_to_list f m returns the list of values that f return, if it is applied to the key and image values of the map m and allows to change the image of the map at the same time.

this is the string used to seperate the key from the imange, often you can use ->

Takes a compare function and returns a new one, that is able to deal with option values.

Takes a compare function and returns a new one, that is able to deal with option values.

maybe_exists f l returns Some true if f e == Some true for at least one element e of l.

maybe_forall f l returns Some true if f e == Some true for all elements e of l.

Takes a string_of function and returns a function that converts 'a option values into a string.

Runs the given function on the two arguments, if both are not None.

mem x m returns true if m contains a binding for x, and false otherwise.

mem_cmp cmp a l checks if a is element of the list, and uses cmp as compare operator.

nsplit s sep splits the string s into a list of strings which are separated by sep.

Returns a string containing one given character.

Returns the string representation of an float.

Returns the string representation of an int.

Open a log file

Perform the test, allows you to build your own test runner

Some funny quoting ;) *g*

Some other funny quoting ;) *g*

Returns the same string but without the last character.

remove x m returns a map containing the same bindings as m, except for x which is unbound in the returned map.

remove elm set returns the set that do not contain elm.

replace ~str ~sub ~by returns a tuple constisting of a boolean and a string where the first occurrence of the string sub within str has been replaced by the string by.

replace_chars f s returns a string where all chars c of s have been replaced by the string returned by f c.

replicate x a returns a;a;...;a, where the length of the list is x.

restrict kl m returns a new map, from which all bindings x from m are removed, if they are not part of the key list kl.

A simple text based test runner.

Main version of the text based test runner.

Runs all tests if None is given.

select pred l returns a pair containing as the first component the longest prefix p of l, such that all elements of p satisfies pred.

String that is used to seperate the different mapping contents.

slice ?first ?last s returns a "slice" of the string which corresponds to the characters s.[first], s.[first+1], ..., s[last-1].

split s sep splits the string s between the first occurrence of sep.

starts_with s x return true if s is starting with x.

returns the string of a path

returns the string representation of a queue.

A function that prints the values of type t

string_of f m converts the map m into a string using f as a conversion function of the images.

Returns a string representation of an array

Converts level into string.

Returns a string representation of a list

Returns a string representation of a list, using the additional string parameters for adapt the output

Make a string from a node

Returns a string representation of an option

Returns a string representation of a tuple

Make a string from a path.

Returns the string without the chars if they are at the beginning or at the end of the string.

returns true if the first list is a subset of the second one.

Gets the first n-th arguments of an list

Returns the number of available test cases

Returns a list with paths of the test

Returns the float represented by the given string or raises Invalid_string if the string does not represent a float.

Returns the integer represented by the given string or raises Invalid_string if the string does not represent an integer.

returns the hole map as list of key,img tuples

to_list_all m behaves like to_list m, except that also the hidden bindings are part of the result list.

If these two lists are sets, the result is a set that contains all elements of the two given sets.

Warning log

run a function and sets for this function the log level to the given one.