Type Members

1.  final case class AnyType() extends CommonType with Product with Serializable

   Any Type The top type.

2.  final case class Bind(e: Exp, idn: IdnDef) extends CommonNode with Decl with Product with Serializable

   Bind

3.  trait CommonExp extends Exp with CommonNode

   Parent of all "common language" expressions.

4.  abstract class CommonIdnNode extends BaseIdnNode with CommonNode
5.  trait CommonNode extends SourceNode

   Parent of all "common language" nodes.

6.  trait CommonType extends Type with CommonNode

   Parent of all "common language" types.

7.  trait CommonTypeConstraint extends CommonType
8.  trait Decl extends SourceNode with Qual

   Declarations

9.  final case class ErrorExp() extends CommonExp with Product with Serializable
10.  final case class ErrorType() extends CommonType with Product with Serializable

    This type is used when the tree has errors.

11.  trait Exp extends SourceNode with Qual with PrettyExpression

    Expressions

12.  final case class ExpectedRecordType(idns: Set[String]) extends CommonTypeConstraint with Product with Serializable
13.  final case class IdnDef(idn: String) extends CommonIdnNode with Product with Serializable

    Defining occurrence of an identifier

14.  final case class IdnExp(idn: IdnUse) extends CommonExp with Product with Serializable

    Identifier expression

15.  final case class IdnUse(idn: String) extends CommonIdnNode with Product with Serializable

    Use of an identifier

16.  final case class NothingType() extends CommonType with Product with Serializable

    Nothing Type The bottom type.

17.  final case class OneOfType(tipes: Vector[Type]) extends CommonTypeConstraint with Product with Serializable

    One-of Type constraint.

18.  trait Qual extends SourceNode

    Qualifiers

19.  trait SourceNode extends BaseNode
20.  trait SourceProgram extends SourceNode with BaseProgram

    Top-level source node.

21.  final case class SourceProgramParam(idn: CommonIdnNode, t: Type) extends CommonNode with Product with Serializable