SCollectionType

Instance Constructors

new SCollectionType(elemType: T)

Type Members

type WrappedType = Coll[T.WrappedType]

Definition Classes
SCollection → SType

Value Members

final def !=(arg0: Any): Boolean

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

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def ?:(whenNoType: ⇒ SType): SType

Elvis operator for types.
Elvis operator for types. See https://en.wikipedia.org/wiki/Elvis_operator

Definition Classes
SType
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
def dataSize(v: SType.WrappedType): Long

Approximate size of the given value in bytes.
Approximate size of the given value in bytes. It is actual size only for primitive types.

Definition Classes
SCollectionType → SType
val elemType: T

Definition Classes
SCollectionType → SCollection
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def getMethods(): Seq[SMethod]

This method should be overriden in derived classes to add new methods in addition to inherited.
This method should be overriden in derived classes to add new methods in addition to inherited. Typical override: super.getMethods() ++ Seq(m1, m2, m3)

Attributes
protected
Definition Classes
SCollectionType → SProduct
def hasMethod(name: String): Boolean

Definition Classes
SProduct
def isConstantSize: Boolean

Returns true if dataSize doesn't depend on data value.
Returns true if dataSize doesn't depend on data value. This is useful for optimizations of calculating sizes of collections. The method should have O(1) amortized complexity over n invocations to avoid over-cost attacks on ErgoTree interpretation.

Definition Classes
SCollection → SType
def isEmbeddable: Boolean

Returns true if this type embeddable, i.e.
Returns true if this type embeddable, i.e. a type that can be combined with type constructor for optimized encoding. For each embeddable type T, and type constructor C, the type C[T] can be represented by a single byte.

Definition Classes
SType
See also
sigmastate.serialization.TypeSerializer
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def method(methodName: String): Option[SMethod]

Definition Classes
SProduct
def methodIndex(name: String): Int

Returns -1 if method is not found.
Returns -1 if method is not found.

Definition Classes
SProduct
lazy val methods: Seq[SMethod]

Returns all the methods of this type.
Returns all the methods of this type.

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

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

Definition Classes
AnyRef
def toString(): String

Definition Classes
SCollectionType → AnyRef → Any
def toTermString: String

Returns parsable type term string of the type described by this type descriptor.
Returns parsable type term string of the type described by this type descriptor. For every type it should be inverse to SigmaTyper.parseType. This is default fallback implementation, should be overriden if it is not correct for a particular type.

Definition Classes
SCollectionType → SType
val typeCode: TypeCode

Type code used in serialization of SType values.
Type code used in serialization of SType values.

Definition Classes
SCollectionType → SType
See also
TypeSerializer
def typeParams: Seq[STypeParam]

Type parameters of this generic type.
Type parameters of this generic type.

Definition Classes
SCollectionType → SGenericType
final def wait(arg0: Long, arg1: Int): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )
def withSubstTypes(subst: Map[STypeVar, SType]): SType

Definition Classes
SType

Deprecated Value Members

def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.

Related Docs: object SCollectionType | package sigmastate

case class SCollectionType[T <: SType](elemType: T) extends SCollection[T] with Product with Serializable

Instance Constructors

new SCollectionType(elemType: T)

Type Members

type WrappedType = Coll[T.WrappedType]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def ?:(whenNoType: ⇒ SType): SType

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def dataSize(v: SType.WrappedType): Long

val elemType: T

final def eq(arg0: AnyRef): Boolean

final def getClass(): Class[_]

def getMethods(): Seq[SMethod]

def hasMethod(name: String): Boolean

def isConstantSize: Boolean

def isEmbeddable: Boolean

final def isInstanceOf[T0]: Boolean

def method(methodName: String): Option[SMethod]

def methodIndex(name: String): Int

lazy val methods: Seq[SMethod]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

def toTermString: String

val typeCode: TypeCode

def typeParams: Seq[STypeParam]

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

final def wait(arg0: Long): Unit

final def wait(): Unit

def withSubstTypes(subst: Map[STypeVar, SType]): SType

Deprecated Value Members

def finalize(): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from SCollection[T]

Inherited from SGenericType

Inherited from SProduct

Inherited from SType

Inherited from SigmaNode

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped