SFunc

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. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

8. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

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

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

   

   Definition Classes

   AnyRef → Any

10. def getGenericType: SFunc

    

    Generalize this type and return a new descriptor.

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

12. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

14. final def notify(): Unit

    

    Definition Classes

    AnyRef

15. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    AnyRef

17. val tDom: IndexedSeq[SType]

    

18. val tRange: SType

    

19. def toString(): String

    

    Definition Classes

    SFunc → AnyRef → Any

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

    SFunc → SType

21. val tpeParams: Seq[STypeParam]

    

22. val typeCode: TypeCode

    

    Type code used in serialization of SType values.

    Type code used in serialization of SType values.

    Definition Classes

    SFunc → SType

    See also

    TypeSerializer

23. val typeParams: Seq[STypeParam]

    

    Type parameters of this generic type.

    Type parameters of this generic type.

    Definition Classes

    SFunc → SGenericType

24. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

27. def withReceiverType(objType: SType): SFunc

    

    Transform function into method type by adding the given objType as the first argument type (aka method receiver type).

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

    

    Definition Classes

    SType