Class

sigmastate.SType

STypeOps

Related Doc: package SType

Permalink

implicit final class STypeOps extends AnyVal

Linear Supertypes
AnyVal, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. STypeOps
  2. AnyVal
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new STypeOps(tpe: SType)

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  4. def asCollection[T <: SType]: SCollection[T]

    Permalink
  5. def asFunc: SFunc

    Permalink
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def asNumType: SNumericType

    Permalink
  8. def asOption[T <: SType]: SOption[T]

    Permalink
  9. def asProduct: SProduct

    Permalink
  10. def asTuple: STuple

    Permalink
  11. def canBeTypedAs(expected: SType): Boolean

    Permalink
  12. def classTag[T <: WrappedType]: ClassTag[T]

    Permalink
  13. def getClass(): Class[_ <: AnyVal]

    Permalink
    Definition Classes
    AnyVal → Any
  14. def isAvlTree: Boolean

    Permalink
  15. def isBox: Boolean

    Permalink
  16. def isCollection: Boolean

    Permalink
  17. def isCollectionLike: Boolean

    Permalink
  18. def isFunc: Boolean

    Permalink
  19. def isGroupElement: Boolean

    Permalink
  20. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  21. def isNumType: Boolean

    Permalink
  22. def isOption: Boolean

    Permalink
  23. def isSigmaProp: Boolean

    Permalink
  24. def isTuple: Boolean

    Permalink
  25. def toString(): String

    Permalink
    Definition Classes
    Any
  26. val tpe: SType

    Permalink
  27. def whenFunc[T](action: (SFunc) ⇒ Unit): Unit

    Permalink

Inherited from AnyVal

Inherited from Any

Ungrouped