Class

sigmastate.lang.Terms

ValueOps

Related Doc: package Terms

Permalink

implicit final class ValueOps extends AnyVal

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

Instance Constructors

  1. new ValueOps(v: Value[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 asBigInt: Value[SBigInt.type]

    Permalink
  5. def asBoolValue: Value[SBoolean.type]

    Permalink
  6. def asBox: Value[SBox.type]

    Permalink
  7. def asByteArray: Value[SByteArray]

    Permalink
  8. def asByteValue: Value[SByte.type]

    Permalink
  9. def asCollection[T <: SType]: Value[SCollection[T]]

    Permalink
  10. def asConcreteCollection[T <: SType]: ConcreteCollection[T]

    Permalink
  11. def asFunc: Value[SFunc]

    Permalink
  12. def asGroupElement: Value[SGroupElement.type]

    Permalink
  13. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  14. def asIntArray: Value[SIntArray]

    Permalink
  15. def asIntValue: Value[SInt.type]

    Permalink
  16. def asLongValue: Value[SLong.type]

    Permalink
  17. def asNumValue: Value[SNumericType]

    Permalink
  18. def asOption[T <: SType]: Value[SOption[T]]

    Permalink
  19. def asShortValue: Value[SShort.type]

    Permalink
  20. def asSigmaProp: Value[SSigmaProp.type]

    Permalink
  21. def asStringValue: Value[SString.type]

    Permalink
  22. def asTuple: Value[STuple]

    Permalink
  23. def asValue[T <: SType]: Value[T]

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

    Permalink
    Definition Classes
    AnyVal → Any
  25. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  26. def toString(): String

    Permalink
    Definition Classes
    Any
  27. def upcastTo[T <: SNumericType](targetType: T): Value[T]

    Permalink
  28. val v: Value[SType]

    Permalink
  29. def withEnsuredSrcCtx[T <: SType](sourceContext: Nullable[SourceContext]): Value[T]

    Permalink

    Set source context only if it's empty

  30. def withPropagatedSrcCtx[T <: SType](srcCtx: Nullable[SourceContext]): Value[T]

    Permalink

    Set source context to all nodes missing source context in the given tree.

    Set source context to all nodes missing source context in the given tree.

    srcCtx

    source context to set

    returns

    AST where all nodes with missing source context are set to the given srcCtx

  31. def withSrcCtx[T <: SType](sourceContext: Nullable[SourceContext]): Value[T]

    Permalink

Inherited from AnyVal

Inherited from Any

Ungrouped