Alphabetical list of all implementation modules

 Each of a module below consists of a set of files in a directory. Each directory contains a file named "sources.cm" that is read by the Compilation Manager that automatically determines a linear loading sequence. E.g., the file anchor/sources.cm reads 
Group is
../document_p/sources.cm
../attribute/sources.cm
anchor.sig.sml
anchor.sml
This means that the module Anchor uses the modules Document_p and Attribute. Moreover, it says that the module Anchor consists of the files anchor.sig.sml and anchor.sml. Note that the files with name pattern "*.sig.sml" always contain a single signature for declaration, while the files name pattern "*.sml" always contain a single structure for implementation.

The dependency graph of our modules can be used to navigate into the following list.

Anchors
Directory: anchor
FAQ:help.html
Sources: sources.cm
Signature: anchor.sig.sml
Structure: anchor.sml
Anchor Identifiers
Directory:anchorid
Sources:sources.cm
Signature:anchorid.sig.sml
Structure: anchorid.sml
Sets of anchor identifiers: setofanchorid.sml
Anchor Tables mapping anchor identifiers to anchors
Directory: anchortable
FAQ:help.html
Sources: sources.cm
Signature: anchortable.sig.sml
Structure: anchortable.sml
Attribute
Directory:attribute
Sources:sources.cm
Signature:attribute.sig.sml
Structure:attribute.sml
Document Parameter
Directory:document_p
Sources:sources.cm
Signature:document_p.sig.sml
Extended Equality Parameter: Parameter for primitive entries with equality and string conversion
Directory: extended_equal_p
Sources:sources.cm
Signature:extended_equal_p.sig.sml
Functions implemented as a functor of domain and range
Directory:function
Sources:sources.cm
Parameter: domainandrangep.sig.sml
Signature:function.sig.sml
Functor:function.sml
Hyperdocuments (parameterized)
Directory:hd
FAQ:help.html
Sources:sources.cm
Signature:hd.sig.sml
Functor:hd.sml
Hypermedia Documents (Level 1)
Directory:hmd
Sources:sources.cm
Parameter Instantiation:pagedocumentp.sml
Signature:hmd.sig.sml
Structure:hmd.sml
Links
Directory:link
Sources:sources.cm
Signature:link.sig.sml
Structure:link.sml
Sets of Links
Directory:setoflink
Sources:sources.cm
Structure: setoflink.sml
Media Objects
Directory:mo
Sources:sources.cm
Signature:mo.sig.sml
Structure:mo.sml
Mylist: Additional functions on lists
Directory:mylist
Sources:sources.cm
Signature:mylist.sig.sml
Structure:mylist.sml
Mylistpair: Additional functions on pairs of lists
Directory:mylistpair
Sources:sources.cm
Signature:mylistpair.sig.sml
Structure:mylistpair.sml
Pages
Directory:page
Sources:sources.cm
Signature:page.sig.sml
Structure:page.sml
Signature of page locations:pagelocation.sig.sml
Structure of page locations: pagelocation.sml
Sets of page locations: setofpagelocation.sml
Sets implemented as a functor
Directory:set
FAQ:help.html
Sources:sources.cm
Signature:set.sig.sml
Functor: set.sml
Sets as a polymorphic type
Directory:sets
FAQ:help.html
Sources:sources.cm
Signature:sets.sig.sml
Structure:sets.sml
Specifiers
Directory:specifier
Sources:sources.cm
Signature:specifier.sig.sml
Structure:specifier.sml
Sets of Specifiers
Directory:setofspecifier
Sources:sources.cm
Structure:setofspecifier.sml
Trees
Directory:tree
Sources:sources.cm
Signature:tree.sig.sml
Structure:tree.sml
URI: Unified Resource Identifiers
Directory:uri
Sources:sources.cm
Signature:uri.sig.sml
Structure:uri.sml
WWW: Global arrangements, mostly for variables
Directory:www
Sources:sources.cm
Signature:www.sig.sml
Structure:www.sml


Andreas Hallmann
Hartmut Kahl
Volker Mattick
Peter Padawitz
Claus-Peter Wirth