case class SumElem[A, B](eLeft: Scalan.Elem[A], eRight: Scalan.Elem[B]) extends Scalan.Elem[Scalan.|[A, B]] with Product with Serializable
Type descriptor for A | B
type where descriptors for A
and B
are given as arguments.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- SumElem
- Product
- Equals
- Elem
- TypeDesc
- Serializable
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new SumElem(eLeft: Scalan.Elem[A], eRight: Scalan.Elem[B])
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def <:<(e: Scalan.Elem[_]): Boolean
- Definition Classes
- Elem
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def buildTypeArgs: ListMap[String, (Scalan.Elem[_ >: B with A], Covariant.type)]
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def collectMethods: Map[RMethod, Scalan.MethodDesc]
- Attributes
- protected
- Definition Classes
- Elem
- val eLeft: Scalan.Elem[A]
- val eRight: Scalan.Elem[B]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def getName(f: (Scalan.TypeDesc) => String): String
- def invokeUnlifted(mc: Scalan.MethodCall, dataEnv: Scalan.DataEnv): Any
Invoke source type method corresponding to the given MethodCall node.
Invoke source type method corresponding to the given MethodCall node. The instance of receiver is obtained from
dataEnv
using mc.receiver symbol. The Method descriptor of the source class is taken fromthis.methods
mapping.- mc
IR node representing method invocation
- dataEnv
environment where each symbol of 'mc' has associated data value
- returns
data value returned from invoked method
- Definition Classes
- Elem
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def liftable: Liftable[_, Scalan.|[A, B]]
- Definition Classes
- Elem
- lazy val methods: Map[RMethod, Scalan.MethodDesc]
- Attributes
- protected
- Definition Classes
- Elem
- lazy val name: String
- Definition Classes
- TypeDesc
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- final lazy val sourceType: RType[_]
- Definition Classes
- Elem
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- TypeDesc → AnyRef → Any
- lazy val typeArgs: ListMap[String, (Scalan.TypeDesc, Variance)]
- Definition Classes
- Elem
- lazy val typeArgsDescs: Seq[Scalan.TypeDesc]
- Definition Classes
- Elem
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()