Type Members

1.  sealed abstract class Argument extends AnyRef
2.  case class BuiltInOperator(builtIn: BuiltIn) extends Expression with Product with Serializable
3.  sealed abstract class Expression extends AnyRef
4.  case class FunctionType(typeParameters: Seq[FlatTessla.Identifier], parameterTypes: Seq[Type], returnType: Type, isLiftable: Boolean) extends Type with Product with Serializable
5.  case class IdLoc(id: FlatTessla.Identifier, loc: Location) extends Product with Serializable
6.  case class InputStream(name: String, streamType: Type, typeLoc: Location, loc: Location) extends Expression with Product with Serializable
7.  case class ListType(elementType: Type) extends Type with Product with Serializable
8.  case class Literal(value: LiteralValue, loc: Location) extends Expression with Product with Serializable
9.  type LiteralValue = Tessla.LiteralValue
10.  case class Macro(typeParameters: Seq[FlatTessla.Identifier], parameters: Seq[Parameter], scope: Scope, returnType: TypeAnnotation, headerLoc: Location, body: Expression, loc: Location, isLiftable: Boolean) extends Expression with Product with Serializable
11.  case class MacroCall(macroID: FlatTessla.Identifier, macroLoc: Location, typeArgs: Seq[Type], args: Seq[Argument], loc: Location) extends Expression with Product with Serializable
12.  case class MapType(keyType: Type, valueType: Type) extends Type with Product with Serializable
13.  case class MemberAccess(receiver: IdLoc, member: String, memberLoc: Location, loc: Location) extends Expression with Product with Serializable
14.  case class NamedArgument(name: String, idLoc: IdLoc, loc: Location) extends Argument with Product with Serializable
15.  case class ObjectLiteral(members: Map[String, IdLoc], loc: Location) extends Expression with Product with Serializable
16.  case class ObjectType(memberTypes: Map[String, Type], isOpen: Boolean) extends Type with Product with Serializable
17.  case class OptionType(elementType: Type) extends Type with Product with Serializable
18.  case class OutStream(id: FlatTessla.Identifier, nameOpt: Option[String], loc: Location) extends Product with Serializable
19.  case class Parameter(param: Tessla.Parameter, parameterType: Type, id: FlatTessla.Identifier) extends Expression with Product with Serializable
20.  case class PositionalArgument(id: FlatTessla.Identifier, loc: Location) extends Argument with Product with Serializable
21.  class Scope extends AnyRef
22.  case class SetType(elementType: Type) extends Type with Product with Serializable
23.  case class Specification(globalScope: Scope, outStreams: Seq[OutStream], outAllLocation: Option[Location], stdlibNames: Map[String, FlatTessla.Identifier]) extends Product with Serializable
24.  case class StaticIfThenElse(condition: IdLoc, thenCase: IdLoc, elseCase: IdLoc, loc: Location) extends Expression with Product with Serializable
25.  case class StreamType(elementType: Type) extends Type with Product with Serializable
26.  sealed abstract class Type extends AnyRef
27.  abstract type TypeAnnotation
28.  case class TypeEntry(id: FlatTessla.Identifier, arity: Int, typeConstructor: (Seq[Type]) ⇒ Type, loc: Location) extends Product with Serializable
29.  case class TypeParameter(id: FlatTessla.Identifier, loc: Location) extends Type with Product with Serializable
30.  case class Variable(id: FlatTessla.Identifier, loc: Location) extends Expression with Product with Serializable
31.  case class VariableEntry(id: FlatTessla.Identifier, expression: Expression, typeInfo: TypeAnnotation, loc: Location) extends Product with Serializable
32.  class Identifier extends AnyRef

    Definition Classes

    HasUniqueIdentifiers

33.  trait IdentifierFactory extends AnyRef

    Definition Classes

    HasUniqueIdentifiers