Packages

abstract class WithAnnotations[T[_]] extends TesslaAST[T]

Linear Supertypes
TesslaAST[T], AnyRef, Any
Known Subclasses
Core, Typed, Untyped
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. WithAnnotations
  2. TesslaAST
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new WithAnnotations()(implicit arg0: CommutativeApplicative[T])

Type Members

  1. case class ApplicationExpression(applicable: ExpressionArg, args: ArraySeq[ExpressionArg], location: Location = Location.unknown) extends Expression with Product with Serializable
    Definition Classes
    TesslaAST
  2. sealed trait Expression extends ExpressionArg
    Definition Classes
    TesslaAST
  3. sealed trait ExpressionArg extends Locatable
    Definition Classes
    TesslaAST
  4. case class ExpressionRef(id: Identifier, tpe: TypeAnnotation[Type], location: Location = Location.unknown) extends ExpressionArg with Product with Serializable
    Definition Classes
    TesslaAST
  5. case class ExternExpression(name: String, tpe: TypeAnnotation[Type], location: Location = Location.unknown) extends Expression with Product with Serializable
    Definition Classes
    TesslaAST
  6. case class FloatLiteralExpression(value: Double, location: Location = Location.unknown) extends Expression with Product with Serializable
    Definition Classes
    TesslaAST
  7. case class FunctionExpression(typeParams: List[Identifier], params: List[(Identifier, Evaluation, TypeAnnotation[Type])], body: Map[Identifier, DefinitionExpression], result: ExpressionArg, location: Location = Location.unknown) extends Expression with Product with Serializable
    Definition Classes
    TesslaAST
  8. case class FunctionType(typeParams: List[Identifier], paramTypes: List[(Evaluation, Type)], resultType: Type, location: Location = Location.unknown) extends Type with Product with Serializable
    Definition Classes
    TesslaAST
  9. final class Identifier extends Locatable
    Definition Classes
    TesslaAST
  10. case class InstantiatedType(name: String, typeArgs: List[Type], location: Location = Location.unknown) extends Type with Product with Serializable
    Definition Classes
    TesslaAST
  11. case class IntLiteralExpression(value: BigInt, location: Location = Location.unknown) extends Expression with Product with Serializable
    Definition Classes
    TesslaAST
  12. case class RecordAccessorExpression(name: String, target: ExpressionArg, nameLocation: Location = Location.unknown, location: Location = Location.unknown) extends Expression with Product with Serializable
    Definition Classes
    TesslaAST
  13. case class RecordConstructorExpression(entries: Map[String, (ExpressionArg, Location)], location: Location = Location.unknown) extends Expression with Product with Serializable
    Definition Classes
    TesslaAST
  14. case class RecordType(entries: Map[String, (Type, Location)], location: Location = Location.unknown) extends Type with Product with Serializable
    Definition Classes
    TesslaAST
  15. case class Specification(in: Map[Identifier, (TypeAnnotation[Type], Annotations)], definitions: Map[Identifier, DefinitionExpression], out: List[(ExpressionRef, Annotations)], maxIdentifier: Long) extends Product with Serializable
    Definition Classes
    TesslaAST
  16. case class StringLiteralExpression(value: String, location: Location = Location.unknown) extends Expression with Product with Serializable
    Definition Classes
    TesslaAST
  17. sealed trait Type extends Locatable
    Definition Classes
    TesslaAST
  18. case class TypeApplicationExpression(applicable: ExpressionArg, typeArgs: List[Type], location: Location = Location.unknown) extends Expression with Product with Serializable
    Definition Classes
    TesslaAST
  19. case class TypeParam(name: Identifier, location: Location = Location.unknown) extends Type with Product with Serializable
    Definition Classes
    TesslaAST
  20. type Annotations = Map[String, ArraySeq[ExpressionArg]]
    Definition Classes
    WithAnnotations → TesslaAST
  21. abstract type DefinitionExpression <: ExpressionArg
    Definition Classes
    TesslaAST
  22. abstract type Evaluation >: StrictEvaluation.type
    Definition Classes
    TesslaAST

Abstract Value Members

  1. abstract def withTypeAnnotation(s: (Boolean) => String, tpe: T[Type], types: Boolean, mayNeedParens: Boolean): String
    Definition Classes
    TesslaAST

Concrete Value Members

  1. object Identifier
    Definition Classes
    TesslaAST
  2. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  3. final def ##(): Int
    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. val BoolType: InstantiatedType
    Definition Classes
    TesslaAST
  6. val FloatType: InstantiatedType
    Definition Classes
    TesslaAST
  7. val IntType: InstantiatedType
    Definition Classes
    TesslaAST
  8. val StringType: InstantiatedType
    Definition Classes
    TesslaAST
  9. val UnitType: RecordType
    Definition Classes
    TesslaAST
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  14. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  15. def getOutputName(annotations: Annotations): Option[String]
    Definition Classes
    TesslaAST
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  17. def indent(s: String): String
    Definition Classes
    TesslaAST
  18. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  22. def printAnnotationString(annotations: Annotations, options: PrintOptions): String
    Definition Classes
    TesslaAST
  23. def printAnnotations(annotations: Annotations, options: PrintOptions): List[String]
    Definition Classes
    WithAnnotations → TesslaAST
  24. def printWithTypeAndLocation(s: (Boolean) => String, tpe: T[Type], location: Location, options: PrintOptions, types: Boolean, mayNeedTypeParens: Boolean, mayNeedLocationParens: Boolean): String
    Definition Classes
    TesslaAST
  25. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  26. def toString(): String
    Definition Classes
    AnyRef → Any
  27. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  28. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  29. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from TesslaAST[T]

Inherited from AnyRef

Inherited from Any

Ungrouped