B | |
Bool [StrExtra.Extra] |
Boolean versions of matching heuristics (
true stands for <>None ).
|
C | |
Check [Shell] |
Support.
|
ComboTextTree [Widget] |
Module for building a set (structured in a tree hierarchy) of dependent combo texts.
|
Configuration_files |
This module contains a simple implementation of application-wise configuration
files, implemented as shell scripts; configuration files are looked for (by
default) in "standard" places like /etc, the user's home directory and the
shell environment.
|
Copylib [UnixExtra.Extra] |
Support for copying files.
|
D | |
DynamicSubmenu [Widget] |
Module for building dynamic submenus.
|
E | |
Environment |
Environments
Environments are especially useful for maintaining the state, intendend as a set
of bindings, of a user interaction with a GUI.
|
Extra [UnixExtra] |
Extra definitions.
|
Extra [SysExtra] |
Extra definitions.
|
Extra [StringExtra] |
Extra definitions.
|
Extra [StrExtra] |
Extra definitions.
|
Extra [PreludeExtra] |
Extra definitions.
|
Extra [ListExtra] |
Extra definitions.
|
Extra [FilenameExtra] |
Extra definitions.
|
Extras |
All extra modules grouped in a single module.
|
F | |
Filename [FilenameExtra] |
Redefinition of module
Filename .
|
Filename [Extras] | |
FilenameExtra |
Additional features for the standard module
Filename .
|
Files [Shell] |
Wrappers operating on filexpr and providing as result a text (string list).
|
Findlib [UnixExtra.Extra] |
Support for finding in a directory hierarchy.
|
Fix |
Poor man fix point operators.
|
Fold [StringExtra.Extra] |
Examples of applications of
big constructor
in conjonction with the merge function.
|
H | |
Hashmap |
Module implementing polymorphic unbounded maps (environments).
|
Hashmmap |
Module implementing polymorphic unbounded multi maps (environments).
|
Hashset |
Very simple module implementing a polymorphic unbounded sets.
|
I | |
Identifier |
Build and manage unique (fresh) identifiers.
|
Image [Widget] |
Module for managing images.
|
L | |
Ledgrid |
Constants
Some global constant definitions, for fine-tuning.
|
List [ListExtra] |
Redefinition of module
List .
|
List [Extras] | |
ListExtra |
Additional features for the standard module
List .
|
M | |
Matrix [StringExtra.Extra.Text] |
Converting raw text to matrix (list of list) of strings (words) and vice-versa.
|
Memo |
Module for building memoised functions.
|
O | |
Oomarshal |
Object-oriented marshalling support.
|
P | |
Passwdlib [UnixExtra.Extra] |
Support for input passwords.
|
Prelude [PreludeExtra] |
Redefinition of module
Pervasives .
|
Prelude [Extras] | |
PreludeExtra |
"Additional features" for the standard module
Pervasives .
|
S | |
Shell |
A collection of (mainly quick and easy) wrappers for the most famous
Unix tools (grep, dd, tar,..) and generic unix commands or scripts.
|
Str [StrExtra] |
Redefinition of module
Str .
|
Str [Extras] | |
StrExtra |
Additional features for the standard library
Str .
|
String [StringExtra] |
Redefinition of module
List .
|
String [Extras] | |
StringExtra |
Extra definitions.
|
Sugar |
Basic shortcuts and syntactic sugar.
|
Sys [SysExtra] |
Redefinition of module
Sys .
|
Sys [Extras] | |
SysExtra |
Additional features for the standard module
Sys .
|
T | |
Templib [UnixExtra.Extra] |
Support for this section.
|
Text [StringExtra.Extra] |
Converting raw text to list of strings and vice-versa.
|
Treat [Wrapper] |
Common treatments for parameters, inputs and outputs.
|
U | |
Unix [UnixExtra] |
Redefinition of module
Unix .
|
Unix [Extras] | |
UnixExtra |
Additional features for the standard library
Unix .
|
W | |
Widget |
Some generic tools for building GUIs
|
Wrapper |
Handling shell scripts in OCaml.
|