Index of values


(=>) [Sugar]
Put a value into a pipelines of functions
(@@) [Sugar]
(|=>) [Sugar]
Short cut for quickly open an optional value.
(||) [Sugar]
Make a pipeline of functions.

A
add [Hashset]
Add a member to the hashset.
add [Hashmmap]
Add a binding to the hashmmap.
add [Hashmap]
Add a binding to the hashmap.
add_extension_if_absent [FilenameExtra.Extra]
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_list [Hashmmap]
Add all the binding from the given alist to the map.
add_list [Hashmap]
Add all the binding from the given alist to the map.
alist_of_matrix [Configuration_files]
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.
alists_of_file [Configuration_files]
Turn a *file* into a tuple of alists:
alists_of_output [Configuration_files]
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:
append [UnixExtra.Extra]
Similar to the function put described above, but the content is appended instead of rewrited.
asFunction [ListExtra.Extra]
Consider a list as a function from indexes to its content.
assemble [StringExtra.Extra]
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.
awk [Shell]
Wrapper for the awk unix filter.

B
big [StringExtra.Extra]
The folding of string lists is simply a List.fold_left specialization:
big [ListExtra.Extra]
The folding of lists is simply a List.fold_left specialization:
blankcat [StringExtra.Extra.Fold]
Merge a string list with the separator " ".
blink_duration [Ledgrid]
The duration of a LED light "blink", in milliseconds.
blink_toggles_no [Ledgrid]
How many times a LED light changes state during a blink.
bool_alist_of_matrix [Configuration_files]
Turn a matrix into an alist mapping each variable name with an bool value into the bool.
bound [Hashmmap]
Answer if x is bound in the multi map.
bound [Hashmap]
Answer if x is bound in the map.
buffer [UnixExtra.Extra.Copylib]
buffer_size [UnixExtra.Extra.Copylib]

C
call [Memo]
The call of a function supervised by a memoisation table.
cat [UnixExtra.Extra]
Return the whole content (caution!) of the file as a string.
cat [Shell.Files]
Wrapper for the cat unix filter.
cc [Shell]
Wrapper for the wc -c unix char counter.
check [Shell.Check]
chop [StringExtra.Extra]
Remove from the input string the last chars in the set ['\n','\t',' '].
click [Identifier]
Return a fresh unused value, using the given counter index, which is updated
commacat [StringExtra.Extra.Fold]
Merge a string list with the separator " , ".
counter [Identifier]
Some predefined GLOBAL and independent counters.
current_umask [UnixExtra.Extra]
The current value of umask.
curry [Sugar]
cut [StringExtra.Extra]
Split a string into a list of strings containing each one n characters of the input string (by default n=1).
cut [Shell.Files]
cut [Shell]
Wrapper for the cut unix filter.

D
date [Shell]
Wrapper for the date unix command.
dd [Shell]
A quite sofisticated wrapper for dd.
default_size [Memo]
The default size of the hash used in the implementation
default_size [Hashset]
The default size of the hash used in the implementation
default_size [Hashmmap]
The default size of the hash used in the implementation
default_size [Hashmap]
The default size of the hash used in the implementation
dir_comfortable [Shell]
Equivalent to the bash test [[ -d $1 && -r $1 && -w $1 && -x $1 ]].
dir_writable [Shell]
Equivalent to the bash test [[ -d $1 && -r $1 && -w $1 ]].
dotcat [StringExtra.Extra.Fold]
Merge a string list with the separator ".".

E
ecfix [Fix]
Fix point operator with an environment and a treatment (a "cure") to perform before each recursive call.
efix [Fix]
Fix point operator for making function requiring a parameter (the "environment").
envelop [Wrapper]
Envelop a script into a function followed by a call of this function.
eqset [ListExtra.Extra]
eqset a b check if a and b represent the same set of values.
extract_groups [StrExtra.Extra]
Extract parts of a string using a regexp containing some group expressions \((..\)).

F
file_append [UnixExtra.Extra]
Append a file into another.
file_copy [UnixExtra.Extra.Copylib]
file_copy [UnixExtra.Extra]
Copy a file into another.
file_kind_of_char [UnixExtra.Extra]
Heuristic that tries to convert a char into a value of the type:
find [UnixExtra.Extra.Findlib]
find [UnixExtra.Extra]
Find something in an input directory.
find [Shell]
Wrapper for find.
firstIndexOf [ListExtra.Extra]
Alias for indexOf.
fix [Fix]
Basic fix point operators.
flags [Oomarshal]
Marshalling flags: we want to support sharing but no closures.
flash_duration [Ledgrid]
The duration of a LED light "flash", in milliseconds:
float_alist_of_matrix [Configuration_files]
Turn a matrix into an alist mapping each variable name with an float value into the float.
foreach [ListExtra.Extra]
Shortcut for List.iter with arguments in the opposite order: before the list, then the action to perfom.
fresh [Identifier]
Return a fresh unused id (using the counter index 0)
freshname_possible [Shell]
Check if a file with the given name can be created by the current user.
fromList [Widget.ComboTextTree]
Make a simple combo text with no childs.
fromListWithSlave [Widget.ComboTextTree]
Make a two level chain of dependent combos text.
fromListWithSlaveWithSlave [Widget.ComboTextTree]
Make a 3 levels chain of dependent combos text.
fromListWithSlaveWithSlaveWithSlave [Widget.ComboTextTree]
Make a 4 levels chain of dependent combos text.
fromListWithTwoSlaves [Widget.ComboTextTree]
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).
from_channel [Oomarshal]
Unmarshal (what we hope to be) a marshallable object from the given channel, and return the object with an unconstrained polymorphic type.
from_file [Oomarshal]
Unmarshal (what we hope to be) a marshallable object from the given file, and return the object with an unconstrained polymorphic type.
from_string [Oomarshal]
Unmarshal (what we hope to be) a marshallable object from the given string, and return the object with an unconstrained polymorphic type.

G
glob [Shell.Files]
Expand a file expression (with meta-characters) into the list of existing files.
grep [StrExtra.Extra]
Grep on string lists: only strings matching the pattern are selected.
grep [Shell]
Wrapper for the grep unix filter.

H
head [Shell.Files]
head [Shell]
Wrapper for the head unix filter.
head [ListExtra.Extra]
Similar to the standard List.hd, but retrieve the list of first elements (by default n=1 as in List.hd).
hide_exn [UnixExtra.Extra.Findlib]

I
id [Sugar]
id [Shell]
Wrapper for the id unix command.
identity [Wrapper.Treat]
Nothing to do (identity function).
identity [Sugar]
inch_of_pixels [Widget.Image]
The pixels to inch conversion: ppi stands for pixel-per-inch
indexOf [ListExtra.Extra]
Heuristic searching the first index of an element in a list
indexSuchThat [ListExtra.Extra]
Heuristic searching for the index of an element satisfying a property.
indexes [ListExtra.Extra]
The list of indexes of a list.
int_alist_of_matrix [Configuration_files]
Turn a matrix into an alist mapping each variable name with an integer value into the integer.
intersection [ListExtra.Extra]
Intersection of list: AvB=A\(A\B) .
interval [ListExtra.Extra]
Alias for range.
is_none [Sugar]
Return true iff the given optional value is None
is_some [Sugar]
Return true iff the given optional value is not None
is_true [Wrapper.Treat]
Make your boolean scripts with this output treatment
iter_dir [UnixExtra.Extra]
iter_dir f dirname iterate the function f on each entry of the directory dirname.

L
lastIndexOf [ListExtra.Extra]
Heuristic searching the last index of an element in a list
list_alist_of_matrix [Configuration_files]
Turn a matrix into an alist mapping each variable name into the list of the tokens of its value:
lookup [Hashmmap]
Return all the objects bound to the given key, or the empty list if no binding is found:
lookup [Hashmap]
Return the object bound to the given key, or raise Not_found:
lookup_or_fail [Hashmmap]
Return all the objects bound to the given key, or raise Not_found:
lstrip [StringExtra.Extra]
As StringExtra.Extra.chop but at left side.

M
make [Wrapper]
General constructor for shell encapsulation:
make [Widget.ComboTextTree]
The simplest and general constuctor.
make [Widget.DynamicSubmenu]
Makes a dynamic submenu of a given menu (the father).
make [Memo]
The constructor of memoisation tables.
make [Hashset]
The hashset constructor.
make [Hashmmap]
The hashmmap constructor.
make [Hashmap]
The hashmap constructor.
make_pixmap_from_xpm_file [Ledgrid]
Make a pixmap data structure (not a widget) from the given file:
makefresh [Identifier]
Allocating a new local counter and its related fresh function.
match_frame [StrExtra.Extra.Bool]
Boolean version of the heuristic match_frame.
match_frame [StrExtra.Extra]
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.
match_string [StrExtra.Extra.Bool]
Boolean version of the heuristic match_string.
match_string [StrExtra.Extra]
Similar to match_whole but the regular expression is given as a simple string and compiled on the fly before invoking match_whole.
match_whole [StrExtra.Extra.Bool]
Boolean version of the heuristic match_whole.
match_whole [StrExtra.Extra]
The heuristic match_whole r s (a,b) try to match the whole string s with the compiled regular expression r.
matched_groups [StrExtra.Extra]
The call matched_groups i x returns the list of substrings of x matching groups starting from the group number i.
matrix_of_output [Configuration_files]
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:
max [ListExtra.Extra]
The polymorphic maximum of a list.
mem [Hashset]
The member predicate.
mem [Hashmmap]
The member predicate.
mem [Hashmap]
The member predicate.
memq [Hashmmap]
The member predicate with the physical equality.
memq [Hashmap]
The member predicate with the physical equality.
merge [StringExtra.Extra]
Merge two strings with a string separator.
merge_alists [Configuration_files]
Merge the two given alist groups; the latest one takes precedence:
merge_fields [StringExtra.Extra]
Merge fields with a separator.
merge_map [StringExtra.Extra]
merge_map f l maps the function f on the list l then merge the result with the separator (sep=" " by default).
min [ListExtra.Extra]
The polymorphic minimum of a list.
minus [StrExtra.Extra]
minus x y delete the rightmost occurrence of the pattern y into the string x.
mkenv [Environment]
Simple constructor for environments.
mkregexp [StrExtra.Extra]
Facility for building regular expressions.

N
newlinecat [StringExtra.Extra.Fold]
Merge a string list with the separator "\n".
nl [Shell.Files]
nl [Shell]
Wrapper for the nl unix filter.
nospacecommacat [StringExtra.Extra.Fold]
Merge a string list with the separator ",".
nospacesemicolon [StringExtra.Extra.Fold]
Merge a string list with the separator ";".
nothing [Sugar]
Equivalent to function () -> ().

O
of_charlist [StringExtra.Extra]
Convert a list of chars in a string.
of_list [Hashset]
Make an hashset from a list.
of_list [Hashmmap]
Make a new hashmmap from an alist made of <key, value> pairs.
of_list [Hashmap]
Make a new hashmap from an alist made of <key, value> pairs.
of_string [StringExtra.Extra.Text.Matrix]
Convert a raw text in a matrix of words.
of_string [StringExtra.Extra.Text]
Convert a raw text in a structured text (a string list).
output_of_environment [Configuration_files]
For each variable bound in the shell environment echo its name and its value, one binding per line:
output_of_file_name [Configuration_files]
Evaluate the given file, then 'echo' each variable name and its value, one variable per line:

P
permute [ListExtra.Extra]
List permutation.
print_char [PreludeExtra.Extra]
Print something onto stdout, then immediately flush the buffer.
print_endline [PreludeExtra.Extra]
print_float [PreludeExtra.Extra]
print_int [PreludeExtra.Extra]
print_newline [PreludeExtra.Extra]
print_string [PreludeExtra.Extra]
put [UnixExtra.Extra]
Write or rewrite the file with the given content.

Q
quote [Wrapper.Treat]
Simple quote the argument.
quote [StringExtra.Extra]
Quote a string using a prefix l (by default l="'") and a suffix r (by default r="'").

R
raise_when_none [Sugar]
Open an 'a option value and return its content if any.
range [ListExtra.Extra]
range a b returns the list [a; (a+1); .. ; (b-1); b] containing all the values between the given limits (included) .
range [Ledgrid]
To do: recycle this from Jean's library
read_passwd [UnixExtra.Extra.Passwdlib]
read_passwd [UnixExtra.Extra]
Prompt for a password.
readdir_into_list [SysExtra.Extra]
Reads a given directory, thus select and convert names.
regfile_modifiable [Shell]
Equivalent to the bash test [[ -f $1 && -r $1 && -w $1 ]].
regfile_readable [Shell]
Equivalent to the bash test [[ -f $1 && -r $1 ]].
remove [Hashset]
Remove a member from the hashset.
remove [Hashmmap]
Remove one or all (default) bindings of the given key.
remove [Hashmap]
Remove one or all (default) bindings of the given key.
replace [Hashmmap]
replace h x y removes all bindings in h for the key x, then add the binding (x,y).
replace [Hashmap]
Replace or add (when not existing) a binding to a map.
reset [Identifier]
Reset the global counter with the given index
reveal_exn [UnixExtra.Extra.Findlib]
rewrite [UnixExtra.Extra]
Alias for put.
rmindex [ListExtra.Extra]
Remove the element with the given index.
rstrip [StringExtra.Extra]
Alias for Python fans.
run [UnixExtra.Extra]
Returns the pair (output, exit-code) of the given system command.

S
scalar_alist_of_matrix [Configuration_files]
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.
scaleTo [Widget.Image]
Scale the given image at the given size (width,height).
sed [Shell]
Wrapper for the sed unix filter.
select [ListExtra.Extra]
Considering a list as a record and select some fields (indexes).
semicolon [StringExtra.Extra.Fold]
Merge a string list with the separator "; ".
shell [UnixExtra.Extra]
As run, but ignoring the exit-code.
shuffle [ListExtra.Extra]
Returns a permutation of the list.
shuffleIndexes [ListExtra.Extra]
Returns a random list of indexes for the given list.
shuffler [ListExtra.Extra]
Returns a random permutation function for the given list.
skip [Sugar]
Equivalent to ().
slashcat [StringExtra.Extra.Fold]
Merge a string list with the separator "/".
sok [Memo]
The string representation of a key
sort [Shell.Files]
sort [Shell]
Wrapper for the sort unix filter.
split [StringExtra.Extra]
Split a string into a list of strings using a char delimiter (space (blank) by default).
split_old [StringExtra.Extra]
string_alist_of_matrix [Configuration_files]
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):
strip [StringExtra.Extra]
As StringExtra.Extra.chop but for both sides.
subset [ListExtra.Extra]
subset a b check if a is a subset of b, i.e.
substract [ListExtra.Extra]
Substract the second argument from the first

T
tac [Shell.Files]
tac [Shell]
Wrapper for the tac unix filter.
tail [Shell.Files]
tail [Shell]
Wrapper for the tail unix filter.
tail [ListExtra.Extra]
Similar to the standard List.tl, but the tail is extracted from the given index (by default i=1 as in List.tl)
tee [Shell]
Wrapper for the tee unix filter.
temp_dir [UnixExtra.Extra]
Create a temporary directory in a parent directory.
temp_file [UnixExtra.Extra]
Create a temporary file in a parent directory.
temp_name [UnixExtra.Extra.Templib]
General function for creating temporary files or directories in a parent directory with some permissions and with a prefix and suffix for the name.
textfilter [Wrapper]
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
tgz_create [Shell]
Wrapper for the command tar -cz.
tgz_extract [Shell]
Wrapper for the command tar -xz.
ticket [Identifier]
Return a fresh unused ticket which may be used, for instance, as time mark (using the counter index 1)
to_charlist [StringExtra.Extra]
Similar to cut ~n:1 but returns the list of characters (instead of strings) of the input string.
to_line [StringExtra.Extra]
Convert a string in a StringExtra.Extra.line just adding a newline if needed.
to_list [Hashmmap]
Make an alist from an hashmmap, returning the bindings as <key, value> pairs in some unspecified order.
to_list [Hashmap]
Make an alist from an hashmap, returning the bindings as <key, value> pairs in some unspecified order.
to_string [StringExtra.Extra.Text.Matrix]
Convert a matrix of words in a raw text.
to_string [StringExtra.Extra.Text]
Convert a string list in a raw text.
tooltips [Ledgrid]
touch [UnixExtra.Extra]
Create a file if necessary with the given permissions (by default equal to 0o640).
tr [Shell]
Wrapper for the tr unix filter.
transpose [ListExtra.Extra]
Transpose the matrix (list of lists).

U
uname [Shell]
Wrapper for the uname unix command.
uncurry [Sugar]
uniq [Shell.Files]
uniq [Shell]
Wrapper for the uniq unix filter.
uniq [ListExtra.Extra]
Returns a list with no duplicates.
uniq [Hashset]
update [Hashmmap]
update ~replace t1 t2 updates the map t1 adding (by calling add) all the bindings from t2.
update [Hashmap]
update t1 t2 updates the map t1 adding all the bindings from t2.
useless_array_of_led_light_options [Ledgrid]
These variables are just used as parameters to Array.make so that types can be correctly inferred.
useless_label [Ledgrid]

V
variables_of_matrix [Configuration_files]
Extract only the variable names from the matrix, disregarding values:

W
wc [Shell]
Wrapper for the wc -w unix word counter.
wellFormedName [StrExtra.Extra]
Check if a string can be used as an identifier.
whoami [Shell]
Wrapper for the whoami unix command.

Z
zoom [Widget.Image]
Make a zoom of the given image with the given factor (>1 => zoom IN, <1 => zoom OUT).