Package-level declarations

This abstraction represents a mechanism for achieving a quantum of progress toward looking up which method definition to invoke, or some similar usage.

This is a DecisionStep which takes a metatype from an argument or extra, and extracts its instance, a type, for subsequent dispatching. This new value should have a useful subsequent dispatching power, otherwise there would be no point in extracting it.

This is a DecisionStep which extracts one field from an argument or extra, and adds it to the list of extras, for subsequent dispatching. This new value should have a useful subsequent dispatching power, otherwise there would be no point in extracting it.

This is a DecisionStep which extracts one field type from an argument or extra, which must be passed an object type having that field (and a known variant, or at least a known fieldIndex). It adds the extracted field type to the list of extras, for subsequent dispatching. This new value should have a useful subsequent dispatching power, otherwise there would be no point in extracting it.

This is a DecisionStep which takes a phrase from an argument or extra, and adds it to the list of extras, for subsequent dispatching. This new value should have a useful subsequent dispatching power, otherwise there would be no point in extracting it.

A LookupTree representing an incomplete search. To further the search, its decisionStep performs some sort of dynamic test, producing the next subtree to visit.

A LookupTree representing a solution.

A helper class holding a pair of Statistics, one by the amount of time for each dynamic lookup, and one by the depth traveled within the lookup tree.

LookupTree is used to look up method definitions by argument types, although it's more general than that.

LookupTreeAdaptor is instantiated to construct and interpret a family of type-dispatch trees.

This is a DecisionStep which dispatches to subtrees by looking up the argument's ObjectLayoutVariant. It can only be used when the argument has been constrained to an object.

This is a DecisionStep which dispatches to subtrees by looking up the ObjectLayoutVariant of the argument, which has already been proven to be an object type.

This is a DecisionStep which tests a particular argument position against some constant type.

This is a DecisionStep which dispatches to subtrees by looking up the exact value in a particular argument position. Since Avail objects have permanent hash values (over the lifetime of an OS process), we can use the hash value for an initial lookup, followed by a full check that it's the right object and not just a hash collision.

This is a DecisionStep which can efficiently handle instance types (singular enumerations over non-types), as indicated in the signature of the Elements. It handles all other values by dispatching to a fallThrough subtree.

Answer the relationship between two signatures, the argument tuple types of function types representing (1) a criterion to test, and (2) a definition's signature to be classified.

This is a DecisionStep which dispatches to subtrees by looking up the TypeTag for a particular argument position. Narrowing the effective TypeRestriction on the argument in this way can quickly reduce the number of applicable elements in the subtrees, which may also promote other techniques, such as dispatching on an object or object type's ObjectLayoutVariant, or extracting a covariant or contravariant parameter into a separate argument.