object ConstantEvaluator

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConstantEvaluator
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type Applicable = (ArraySeq[Translatable[Any, Option]]) => Translatable[Any, Some]
  2. type Env = Map[TesslaAST.Typed.Identifier, TranslationResult[Any, Some]]
  3. type ExpressionOrRef = Either[StackLazy[TesslaAST.Core.Expression], StrictOrLazy]
  4. type Extern = (ArraySeq[TranslatableMonad[Any]]) => TranslatableMonad[Any]
  5. case class StrictOrLazy(translateStrict: StackLazy[TesslaAST.Core.ExpressionArg], translateLazy: StackLazy[TesslaAST.Core.ExpressionArg]) extends Product with Serializable
  6. case class Translatable[+A, +B[+_]](translate: (TranslatedExpressions) => TranslationResult[A, B]) extends Product with Serializable
  7. type TranslatableMonad[+A] = Translatable[A, Option]
  8. class TranslatedExpressions extends AnyRef
  9. case class TranslationResult[+A, +B[+_]](value: StackLazy[Option[A]], expression: StackLazy[B[ExpressionOrRef]]) extends Product with Serializable
  10. type TypeApplicable = (List[TesslaAST.Typed.Type]) => Applicable
  11. type TypeEnv = Map[TesslaAST.Typed.Identifier, TesslaAST.Typed.Type]
  12. type TypeExtern = (List[TesslaAST.Typed.Type]) => Extern

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val PREFER_REIFIED_EXPRESSIONS: Boolean
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  7. val doNotExpandExterns: Map[String, TypeExtern]
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  10. val errorExtern: TesslaAST.Core.ExternExpression
  11. val errorExternA: TesslaAST.Core.Identifier
  12. val externs: Map[String, Any]
  13. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. def getExpressionArgStrict(result: TranslationResult[Any, Some]): StackLazy[TesslaAST.Core.ExpressionArg]
  15. def getReified(result: TranslationResult[Any, Option], tpe: TesslaAST.Core.Type): StackLazy[Either[InternalError, ExpressionOrRef]]
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. val lazyWithStack: LazyWithStack[Location]
  19. def mkErrorResult(error: RuntimeError, tpe: TesslaAST.Core.Type): TranslationResult[Any, Some]
  20. def mkLiteralResult(value: Option[Any], expression: TesslaAST.Core.Expression): TranslationResult[Any, Some]
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. val noExtern: TypeExtern
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  25. def reified(result: TranslationResult[Any, Option], tpe: TesslaAST.Core.Type): TranslationResult[Any, Some]
  26. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  27. def toString(): String
    Definition Classes
    AnyRef → Any
  28. implicit val translatableMonad: Monad[TranslatableMonad]
  29. def tryReified(result: TranslationResult[Any, Option], tpe: TesslaAST.Core.Type): TranslationResult[Any, Option]
  30. val valueExterns: Map[String, Any]
  31. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  32. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  33. 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 AnyRef

Inherited from Any

Ungrouped