Struct

Struct is a marker trait used to indicate that new C { ... } should be reified.

Selections on the result e of the reified object creation, e.x_i, are treated specially, as outlined below.

If there's a type constructor Rep (of kind * -> *) so that C <:< Struct, the expression new C { (val x_i: T_i = v_i)* } is turned into the call new(("x_i", (self_i: Rep[C{ (val x_i: T_i')* }]) => v_i')*), which is typed with expected type Rep[C{ (val x_i: T_i')* }]

For all i,

there must be some T_i' so that T_i = Rep[T_i'] -- or, if that previous equality is not unifiable, T_i = T_i'
the v_i' result from retyping v_i with expected type Rep[T_i'], after replacing this by a fresh variable self_i (with type Rep[C{ (val x_i: T_i')* }])

This assumes there is a method in scope similar to: def new[T](args: (String, Rep[T] => Rep[_])*): Rep[T]

When a selection e.x_i does not type check according to the normal typing rules, and e has type Rep[C{ (val x_i: T_i')* }] (where C meets the criteria outlined above), e.x_i is turned into e.selectDynamic[T_i]("x_i")

Source: Predef.scala

Linear Supertypes

AnyRef, Any

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from Struct to any2stringadd[Struct] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (Struct, B)

Implicit information
This member is added by an implicit conversion from Struct to ArrowAssoc[Struct] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def ensuring(cond: (Struct) ⇒ Boolean, msg: ⇒ Any): Struct

Implicit information
This member is added by an implicit conversion from Struct to Ensuring[Struct] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Struct) ⇒ Boolean): Struct

Implicit information
This member is added by an implicit conversion from Struct to Ensuring[Struct] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Struct

Implicit information
This member is added by an implicit conversion from Struct to Ensuring[Struct] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Struct

Implicit information
This member is added by an implicit conversion from Struct to Ensuring[Struct] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String

Returns string formatted according to given format string.
Returns string formatted according to given format string. Format strings are as for String.format (@see java.lang.String.format).

Implicit information
This member is added by an implicit conversion from Struct to StringFormat[Struct] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def →[B](y: B): (Struct, B)

Implicit information
This member is added by an implicit conversion from Struct to ArrowAssoc[Struct] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

trait Struct extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (Struct, B)

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (Struct) ⇒ Boolean, msg: ⇒ Any): Struct

def ensuring(cond: (Struct) ⇒ Boolean): Struct

def ensuring(cond: Boolean, msg: ⇒ Any): Struct

def ensuring(cond: Boolean): Struct

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (Struct, B)

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Struct to any2stringadd[Struct]

Inherited by implicit conversion StringFormat from Struct to StringFormat[Struct]

Inherited by implicit conversion Ensuring from Struct to Ensuring[Struct]

Inherited by implicit conversion ArrowAssoc from Struct to ArrowAssoc[Struct]

Ungrouped