STypeVar

Instance Constructors

new STypeVar(name: String)

Type Members

type WrappedType = Any

Definition Classes
STypeVar → 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
STypeVar → SType
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
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
STypeVar → 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
val name: String
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
STypeVar → 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
STypeVar → SType
val typeCode: TypeCode

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

Definition Classes
STypeVar → SType
See also
TypeSerializer
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 STypeVar | package sigmastate

case class STypeVar(name: String) extends SType with Product with Serializable

Instance Constructors

new STypeVar(name: String)

Type Members

type WrappedType = Any

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

final def eq(arg0: AnyRef): Boolean

final def getClass(): Class[_]

def isConstantSize: Boolean

def isEmbeddable: Boolean

final def isInstanceOf[T0]: Boolean

val name: String

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

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 SType

Inherited from SigmaNode

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped