(=>) [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).
|