SOption

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. def ?:(whenNoType: ⇒ SType): SType

   

   Elvis operator for types.

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

   Definition Classes

   SType

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7. val elemType: ElemType

   

8. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

9. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( classOf[java.lang.Throwable] )

10. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

11. 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

    SOption → SProduct

12. def hasMethod(name: String): Boolean

    

    Returns true if this type has a method with the given name.

    Returns true if this type has a method with the given name.

    Definition Classes

    SProduct

13. 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

14. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Finds a method descriptor SMethod for the given name.

    Finds a method descriptor SMethod for the given name.

    Definition Classes

    SProduct

16. def methodIndex(name: String): Int

    

    Returns -1 if method is not found.

    Returns -1 if method is not found.

    Definition Classes

    SProduct

17. lazy val methods: Seq[SMethod]

    

    Returns all the methods of this type.

    Returns all the methods of this type.

    Definition Classes

    SProduct

18. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

19. final def notify(): Unit

    

    Definition Classes

    AnyRef

20. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    AnyRef

22. def toString(): String

    

    Definition Classes

    SOption → AnyRef → Any

23. 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

    SOption → SType

24. val typeCode: TypeCode

    

    Type code used in serialization of SType values.

    Type code used in serialization of SType values.

    Definition Classes

    SOption → SType

    See also

    TypeSerializer

25. lazy val typeParams: Seq[STypeParam]

    

    Type parameters of this generic type.

    Type parameters of this generic type.

    Definition Classes

    SOption → SGenericType

26. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

28. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    SType