Index of values

Put a value into a pipelines of functions

Short cut for quickly open an optional value.

Make a pipeline of functions.

Add a member to the hashset.

Add a binding to the hashmmap.

Add a binding to the hashmap.

add_extension_if_absent filename ext append to the string filename the extension ext but only if the filename has no already an extension.

Add all the binding from the given alist to the map.

Add all the binding from the given alist to the map.

Turn a matrix into an alist mapping each variable name into a value; each variable value (as a list of strings) is passed to the given function to obtain the value which is bound in the returned environment.

Turn a *file* into a tuple of alists:

Turn a matrix into a "tuple of alists", which henceforth means an alist of strings, an alist of ints, an alist of floats, an alist of bools, and an alist of lists of strings; as usual, values of the "wrong" type are ignored:

Similar to the function put described above, but the content is appended instead of rewrited.

Consider a list as a function from indexes to its content.

Assemble a string with a prefix and a suffix but only if it is not empty, else return the empty string ignoring the given prefix and suffix.

Wrapper for the awk unix filter.

The folding of string lists is simply a List.fold_left specialization:

The folding of lists is simply a List.fold_left specialization:

Merge a string list with the separator " ".

The duration of a LED light "blink", in milliseconds.

How many times a LED light changes state during a blink.

Turn a matrix into an alist mapping each variable name with an bool value into the bool.

Answer if x is bound in the multi map.

Answer if x is bound in the map.

The call of a function supervised by a memoisation table.

Return the whole content (caution!) of the file as a string.

Wrapper for the cat unix filter.

Wrapper for the wc -c unix char counter.

Remove from the input string the last chars in the set ['\n','\t',' '].

Return a fresh unused value, using the given counter index, which is updated

Merge a string list with the separator " , ".

Some predefined GLOBAL and independent counters.

The current value of umask.

Split a string into a list of strings containing each one n characters of the input string (by default n=1).

Wrapper for the cut unix filter.

Wrapper for the date unix command.

A quite sofisticated wrapper for dd.

The default size of the hash used in the implementation

The default size of the hash used in the implementation

The default size of the hash used in the implementation

The default size of the hash used in the implementation

Equivalent to the bash test [[ -d $1 && -r $1 && -w $1 && -x $1 ]].

Equivalent to the bash test [[ -d $1 && -r $1 && -w $1 ]].

Merge a string list with the separator ".".

Fix point operator with an environment and a treatment (a "cure") to perform before each recursive call.

Fix point operator for making function requiring a parameter (the "environment").

Envelop a script into a function followed by a call of this function.

eqset a b check if a and b represent the same set of values.

Extract parts of a string using a regexp containing some group expressions \((..\)).

Append a file into another.

Copy a file into another.

Heuristic that tries to convert a char into a value of the type:

Find something in an input directory.

Wrapper for find.

Alias for indexOf.

Basic fix point operators.

Marshalling flags: we want to support sharing but no closures.

The duration of a LED light "flash", in milliseconds:

Turn a matrix into an alist mapping each variable name with an float value into the float.

Shortcut for List.iter with arguments in the opposite order: before the list, then the action to perfom.

Return a fresh unused id (using the counter index 0)

Check if a file with the given name can be created by the current user.

Make a simple combo text with no childs.

Make a two level chain of dependent combos text.

Make a 3 levels chain of dependent combos text.

Make a 4 levels chain of dependent combos text.

Make a simple tree with 3 nodes: a root combo with two combos (dependent) childs (which can be accessed with the handlers master#slave0 and master#slave1).

Unmarshal (what we hope to be) a marshallable object from the given channel, and return the object with an unconstrained polymorphic type.

Unmarshal (what we hope to be) a marshallable object from the given file, and return the object with an unconstrained polymorphic type.

Unmarshal (what we hope to be) a marshallable object from the given string, and return the object with an unconstrained polymorphic type.

Expand a file expression (with meta-characters) into the list of existing files.

Grep on string lists: only strings matching the pattern are selected.

Wrapper for the grep unix filter.

Wrapper for the head unix filter.

Similar to the standard List.hd, but retrieve the list of first elements (by default n=1 as in List.hd).

Wrapper for the id unix command.

Nothing to do (identity function).

The pixels to inch conversion: ppi stands for pixel-per-inch

Heuristic searching the first index of an element in a list

Heuristic searching for the index of an element satisfying a property.

The list of indexes of a list.

Turn a matrix into an alist mapping each variable name with an integer value into the integer.

Intersection of list: AvB=A\(A\B) .

Alias for range.

Return true iff the given optional value is None

Return true iff the given optional value is not None

Make your boolean scripts with this output treatment

iter_dir f dirname iterate the function f on each entry of the directory dirname.

Heuristic searching the last index of an element in a list

Turn a matrix into an alist mapping each variable name into the list of the tokens of its value:

Return all the objects bound to the given key, or the empty list if no binding is found:

Return the object bound to the given key, or raise Not_found:

Return all the objects bound to the given key, or raise Not_found:

As StringExtra.Extra.chop but at left side.

General constructor for shell encapsulation:

The simplest and general constuctor.

Makes a dynamic submenu of a given menu (the father).

The constructor of memoisation tables.

The hashset constructor.

The hashmmap constructor.

The hashmap constructor.

Make a pixmap data structure (not a widget) from the given file:

Allocating a new local counter and its related fresh function.

Boolean version of the heuristic match_frame.

The heuristic match_frame r s (a,b) try to match the substring (a,b) of the string s with the compiled regular expression r.

Boolean version of the heuristic match_string.

Similar to match_whole but the regular expression is given as a simple string and compiled on the fly before invoking match_whole.

Boolean version of the heuristic match_whole.

The heuristic match_whole r s (a,b) try to match the whole string s with the compiled regular expression r.

The call matched_groups i x returns the list of substrings of x matching groups starting from the group number i.

Convert an output into a list of rows, where each row is a list of strings: first the variable name, then the value, possibly made of several tokens:

The polymorphic maximum of a list.

The member predicate.

The member predicate.

The member predicate.

The member predicate with the physical equality.

The member predicate with the physical equality.

Merge two strings with a string separator.

Merge the two given alist groups; the latest one takes precedence:

Merge fields with a separator.

merge_map f l maps the function f on the list l then merge the result with the separator (sep=" " by default).

The polymorphic minimum of a list.

minus x y delete the rightmost occurrence of the pattern y into the string x.

Simple constructor for environments.

Facility for building regular expressions.

Merge a string list with the separator "\n".

Wrapper for the nl unix filter.

Merge a string list with the separator ",".

Merge a string list with the separator ";".

Equivalent to function () -> ().

Convert a list of chars in a string.

Make an hashset from a list.

Make a new hashmmap from an alist made of <key, value> pairs.

Make a new hashmap from an alist made of <key, value> pairs.

Convert a raw text in a matrix of words.

Convert a raw text in a structured text (a string list).

For each variable bound in the shell environment echo its name and its value, one binding per line:

Evaluate the given file, then 'echo' each variable name and its value, one variable per line:

List permutation.

Print something onto stdout, then immediately flush the buffer.

Write or rewrite the file with the given content.

Simple quote the argument.

Quote a string using a prefix l (by default l="'") and a suffix r (by default r="'").

Open an 'a option value and return its content if any.

range a b returns the list [a; (a+1); .. ; (b-1); b] containing all the values between the given limits (included) .

To do: recycle this from Jean's library

Prompt for a password.

Reads a given directory, thus select and convert names.

Equivalent to the bash test [[ -f $1 && -r $1 && -w $1 ]].

Equivalent to the bash test [[ -f $1 && -r $1 ]].

Remove a member from the hashset.

Remove one or all (default) bindings of the given key.

Remove one or all (default) bindings of the given key.

replace h x y removes all bindings in h for the key x, then add the binding (x,y).

Replace or add (when not existing) a binding to a map.

Reset the global counter with the given index

Alias for put.

Remove the element with the given index.

Alias for Python fans.

Returns the pair (output, exit-code) of the given system command.

Turn a matrix into an alist mapping each variable name into a value; each variable value (as a single string, with token separated by a single space) is passed to the given function to obtain the value which is bound in the returned environment.

Scale the given image at the given size (width,height).

Wrapper for the sed unix filter.

Considering a list as a record and select some fields (indexes).

Merge a string list with the separator "; ".

As run, but ignoring the exit-code.

Returns a permutation of the list.

Returns a random list of indexes for the given list.

Returns a random permutation function for the given list.

Equivalent to ().

Merge a string list with the separator "/".

The string representation of a key

Wrapper for the sort unix filter.

Split a string into a list of strings using a char delimiter (space (blank) by default).

Turn a matrix into an alist mapping each variable name into the string containing its value (tokens concatenated into a string, separated by single spaces):

As StringExtra.Extra.chop but for both sides.

subset a b check if a is a subset of b, i.e.

Substract the second argument from the first

Wrapper for the tac unix filter.

Wrapper for the tail unix filter.

Similar to the standard List.tl, but the tail is extracted from the given index (by default i=1 as in List.tl)

Wrapper for the tee unix filter.

Create a temporary directory in a parent directory.

Create a temporary file in a parent directory.

General function for creating temporary files or directories in a parent directory with some permissions and with a prefix and suffix for the name.

This constructor represent a specialization of the function Wrapper.make for building wrappers dealing with texts (string lists): the input treatment ~it is set to Some String.Text.to_string, the output treatment ~ot is set to String.Text.of_string

Wrapper for the command tar -cz.

Wrapper for the command tar -xz.

Return a fresh unused ticket which may be used, for instance, as time mark (using the counter index 1)

Similar to cut ~n:1 but returns the list of characters (instead of strings) of the input string.

Convert a string in a StringExtra.Extra.line just adding a newline if needed.

Make an alist from an hashmmap, returning the bindings as <key, value> pairs in some unspecified order.

Make an alist from an hashmap, returning the bindings as <key, value> pairs in some unspecified order.

Convert a matrix of words in a raw text.

Convert a string list in a raw text.

Create a file if necessary with the given permissions (by default equal to 0o640).

Wrapper for the tr unix filter.

Transpose the matrix (list of lists).

Wrapper for the uname unix command.

Wrapper for the uniq unix filter.

Returns a list with no duplicates.

update ~replace t1 t2 updates the map t1 adding (by calling add) all the bindings from t2.

update t1 t2 updates the map t1 adding all the bindings from t2.

These variables are just used as parameters to Array.make so that types can be correctly inferred.

Extract only the variable names from the matrix, disregarding values:

Wrapper for the wc -w unix word counter.

Check if a string can be used as an identifier.

Wrapper for the whoami unix command.

Make a zoom of the given image with the given factor (>1 => zoom IN, <1 => zoom OUT).