Index of types

Returned by split.

An element of this type is returned when a matching is successful, and is retained by the Swarm object and passed back to the resident upon release.

See Swarm.EXPOSURE.bindhalf

FIXME: ...

The full configuration of a processing unit, consisting of a list of domains and a list of connections.

Defines the parameters needed to configure a complete domain of the given flavor.

Configured by number of expressors

The definition of an abstract connection between two domains, without an attached value.

A value attached to a connection.

The possible values of a connection.

The configuration of a connection between two domains, including the value.

Synthesis of the initial state and the configuration parameters of a domain.

The opaque type of a cell in a doubly-linked list of elements of type 'a.

An opaque handle to a domain within an abstract protein.

A domain is configured by its name string, and a domain_cons.

A domain constructor for the wizard.

A domain constructor.

An opaque type which represents an extent in the list of associative extents.

A bound chunk of a ligand.

We enumerate, in a tremendously unsafe manner, all the possible interfaces of all the possible domain types in a single variable, to flatten domain definitions.

Enumerates the possible initial states of the domain.

An opaque handle to an (arbitrary) interface of an abstract protein.

Combines the type and the direction of an arbitrary protein interface.

The direction of an interface.

The type of an interface.

Contains the enumerated type identifying all the interfaces of the domain.

A synthetic type to capture all the possible interface identifiers across all domain flavors.

Pretty much the same as associative extent intervals.

The length can be zero.

Returned by join.

See Swarm.EXPOSURE.joinmessage

FIXME: ...

The type of the markings which tag each projection.

See Swarm.EXPOSURE.marker

A simple regular expression.

A matchinghalf on each member of a pair of markers fully identifies a matching.

See Swarm.EXPOSURE.matching

Used to define the matching, which is returned by the matchings function, both below.

See Swarm.EXPOSURE.matchinghalf

Defines multi-elements, which are elements associated with an integer count.

This type is used to index the projections of a resident.

See Swarm.EXPOSURE.projection

The opaque type of a resident of an Incubator object, which refers to either a ligand or a processing unit.

The opaque type returned by the Swarm's shelter method to the harness to track specific residents.

The severity of a log event.

A pair consisting of a string and a regular expression.

FIXME: ...

See Swarm.EXPOSURE.splitmessage

The first part is described above.

Used when sending a split order to identify which part of the split ligand - the left or the right part - stays attached to the originating projection.

Enumerates all the possible states of the domain.

We currently offer the following three logical functions.

This type is used by the functions make_string_permuter and permute_strings below to modify strings by exchanging fragments between them.

FIXME: ...

See Swarm.EXPOSURE.submarker

The type of an optimized protein.

An abstract protein.

A concrete instance of an optimized protein.

The type of ligands, which are essentially basestrings with a binding state, with zero, one or more processing unit ligand binding domain.

The type of associative extents which associate elements of type 'a to extents.

The type of doubly-linked lists of elements of type 'a.

The type of hash tables from type 'a to lists of type 'b.

To configure all the projections.

Each projection is fully configured by an object of this type information.

This is pretty much the same as a multi-element, but with a different name.