hlt.language.design.kernel (API documentation of hlt.language packages)
Date: 2013-01-30

# Package hlt.language.design.kernel

- Class Summary
  Class | Description
  --- | ---
  Abstraction | This class represents λ-calculus abstractions.
  And |
  AndOr |
  Application | This class represents functional applications à la λ-calculus.
  ArrayExtension | This is the class denoting an array literal - i.e., expressions enumerating elements that comprise the extension of an array or map.
  ArrayInitializer | This is the class for a special kind of expressions used essentially for initializing an array with a specified dimension vector from an expression that evaluates to an array whose dimension vectors is almost identical to that of the specified one.
  ArraySlot |
  ArraySlotUpdate | This is the class of array slot update expressions.
  ArrayToMap | This constructs enables the conversion from a (possibly mutidimensional) array to a indexed map as long as the base type and the number of dimensions agree.
  Assignment | This class is the mother class of assignment expressions.
  BuiltinObjectConstant | This is the class of native java objects that are built-in constants.
  Char | This is the class of character constants.
  Compiler | This is the class defining a compiler object.
  Comprehension | This class represents a monoid comprehension whose actual form is interpreted as a construct involving the parts of the syntactic form of the comprehension.
  Comprehension.IndexedExpression |
  Constant |
  Definition |
  Dummy |
  DummyAssignment | This class is the class of dummy assignment expressions.
  DummyLocal | This is a Local that does not actually belong within its scope and need never be sort-sanitized nor compiled.
  Enclosure | An `Enclosure` is the stack of scopes that are enclosing a given subexpression.
  ExitWithValue | This class is the type of expressions used to exit non-locally from - i.e., other than "falling off" its end of - an exitable `Abstraction`.
  Expression | This class is the mother of all expressions in the kernel language.
  FieldUpdate | This class is the class of field update expressions.
  FilterHomomorphism | This is a refinement of the `Homomorphism` class using a filter in the form of a boolean function sifting those elements of the collection on which to apply the function.
  Global |
  GlobalAssignment | This class is the class of global assignment expressions.
  HideType | This kernel expression is used on an expression and defined opaque type, such that the expression's type is the definition of the defined opaque type.
  Homomorphism | This is the class of objects denoting (monoid) homomorphisms.
  IfThenElse |
  Int | This is the class of integer constants.
  Let |
  Local |
  LocalAssignment | This class is the class of local assignment expressions.
  Loop | This class is the class of conditional looping expressions.
  NamedTuple | This is the class representing tuples whose components are identified by field names.
  NewArray | This is the class denoting arrays.
  NewBag | This is the class denoting bags.
  NewCollection | This is an abstract class for collection-denoting values.
  NewList | This is the class denoting lists.
  NewObject | This is the class of 'new' object expressions.
  NewSet | This is the class denoting sets.
  OpenType | This kernel expression is used on an expression whose type is a defined opaque type.
  Or |
  Parameter |
  ParameterStack |
  ProtoExpression | This class factors out implementation that's common to all expressions.
  Real | This is the class of real number constants.
  Sanitizer |
  Scope | This class represents a scope for local variables.
  Sequence | This class is the class of sequences of expressions.
  StringConstant | This is the class of string constants.
  Tuple | This is the class of tuple expressions whose components are identified by position.
  TupleFieldName | This class extends `LexComparableString`s to represent named tuple field names.
  TupleProjection | This is the class of tuple projection expressions.
  TupleUpdate | This is the class of expressions for updating tuple components.
  UndecidedExpression | This class denotes an expression as a yet undecided choice between two expressions.

- Exception Summary
  Exception | Description
  --- | ---
  AssignmentErrorException |
  DefinitionException |
  NoSuchSubexpressionException |
  UndefinedEqualityException |