Object/Trait

sigmastate.Values

Value

Related Docs: trait Value | package Values

Permalink

object Value

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

Type Members

  1. type PropositionCode = Byte

    Permalink

Value Members

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. val EmptyArray: Array[SValue]

    Permalink

    Immutable empty array of values.

    Immutable empty array of values. Can be used to avoid allocation.

  5. val EmptySeq: IndexedSeq[SValue]

    Permalink

    Immutable empty Seq of values.

    Immutable empty Seq of values. Can be used to avoid allocation.

  6. object Typed

    Permalink
  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )
  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  11. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  12. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  14. implicit def liftBigInt(arr: BigInt): Value[SBigInt.type]

    Permalink
  15. implicit def liftByte(n: Byte): Value[SByte.type]

    Permalink
  16. implicit def liftByteArray(arr: Array[Byte]): Value[SByteArray]

    Permalink
  17. implicit def liftECPoint(g: EcPointType): Value[SGroupElement.type]

    Permalink
  18. implicit def liftGroupElement(g: GroupElement): Value[SGroupElement.type]

    Permalink
  19. implicit def liftInt(n: Int): Value[SInt.type]

    Permalink
  20. implicit def liftLong(n: Long): Value[SLong.type]

    Permalink
  21. implicit def liftShort(n: Short): Value[SShort.type]

    Permalink
  22. implicit def liftSigmaBoolean(sb: SigmaBoolean): Value[SSigmaProp.type]

    Permalink
  23. implicit def liftSigmaProp(g: SigmaProp): Value[SSigmaProp.type]

    Permalink
  24. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  25. def notSupportedError(v: SValue, opName: String): Nothing

    Permalink
  26. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  27. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  28. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  29. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  30. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Ungrouped