Index of modules


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 tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matrix (list of list) of strings (words) and tml">StringExtra.Extra.Text]
Converting raw text to matri