object StdSigmaBuilder extends StdSigmaBuilder with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, StdSigmaBuilder, SigmaBuilder, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. StdSigmaBuilder
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. StdSigmaBuilder
  7. SigmaBuilder
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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 arithOp[T <: SNumericType, R](left: Value[T], right: Value[T], cons: (Value[T], Value[T]) ⇒ R): R
    Attributes
    protected
    Definition Classes
    StdSigmaBuilder
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  7. def comparisonOp[T <: SType, R](left: Value[T], right: Value[T], cons: (Value[T], Value[T]) ⇒ R): R
    Attributes
    protected
    Definition Classes
    StdSigmaBuilder
  8. val currentSrcCtx: DynamicVariable[Nullable[SourceContext]]
    Definition Classes
    SigmaBuilder
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equalityOp[T <: SType, R](left: Value[T], right: Value[T], cons: (Value[T], Value[T]) ⇒ R): R
    Attributes
    protected
    Definition Classes
    StdSigmaBuilder
  11. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. def liftAny(obj: Any): Nullable[SValue]

    Created a new Value instance with an appropriate type derived from the given data obj.

    Created a new Value instance with an appropriate type derived from the given data obj. If obj is already Value, then it is returned as result. Uses scalan.Nullable instead of scala.Option to avoid allocation on consensus hot path.

    Definition Classes
    SigmaBuilder
  16. def mkAND(input: Value[SCollection[SBoolean.type]]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  17. def mkAllOf(input: Seq[Value[SBoolean.type]]): Value[Nothing]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  18. def mkAnyOf(input: Seq[Value[SBoolean.type]]): Value[Nothing]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  19. def mkAppend[IV <: SType](input: Value[SCollection[IV]], col2: Value[SCollection[IV]]): Value[SCollection[IV]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  20. def mkApply(func: Value[SType], args: IndexedSeq[Value[SType]]): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  21. def mkApplyTypes(input: Value[SType], tpeArgs: Seq[SType]): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  22. def mkArith[T <: SNumericType](left: Value[T], right: Value[T], opCode: OpCode): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  23. def mkAtLeast(bound: Value[SInt.type], input: Value[SCollection[SSigmaProp.type]]): SigmaPropValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  24. def mkBinAnd(left: BoolValue, right: BoolValue): Value[Nothing]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  25. def mkBinOr(left: BoolValue, right: BoolValue): Value[Nothing]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  26. def mkBinXor(left: BoolValue, right: BoolValue): BoolValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  27. def mkBitAnd[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  28. def mkBitInversion[T <: SNumericType](input: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  29. def mkBitOr[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  30. def mkBitShiftLeft[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  31. def mkBitShiftRight[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  32. def mkBitShiftRightZeroed[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  33. def mkBitXor[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  34. def mkBlock(bindings: Seq[Val], result: Value[SType]): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  35. def mkBlockValue(items: IndexedSeq[BlockItem], result: Value[SType]): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  36. def mkBoolToSigmaProp(value: BoolValue): SigmaPropValue

    Logically inverse to mkSigmaPropIsProven

    Logically inverse to mkSigmaPropIsProven

    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  37. def mkByIndex[IV <: SType](input: Value[SCollection[IV]], index: Value[SInt.type], default: Option[Value[IV]] = None): Value[IV]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  38. def mkByteArrayToBigInt(input: Value[SByteArray]): Value[SBigInt.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  39. def mkByteArrayToLong(input: Value[SByteArray]): Value[SLong.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  40. def mkCalcBlake2b256(input: Value[SByteArray]): Value[SByteArray]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  41. def mkCalcSha256(input: Value[SByteArray]): Value[SByteArray]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  42. def mkCollectionConstant[T <: SType](values: Coll[StdSigmaBuilder.mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  43. def mkCollectionConstant[T <: SType](values: Array[StdSigmaBuilder.mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  44. def mkConcreteCollection[T <: SType](items: Seq[Value[T]], elementType: T): Value[SCollection[T]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  45. def mkConstant[T <: SType](value: StdSigmaBuilder.mkConstant.T.WrappedType, tpe: T): Constant[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  46. def mkConstantPlaceholder[T <: SType](id: Int, tpe: T): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  47. def mkCreateAvlTree(operationFlags: ByteValue, digest: Value[SByteArray], keyLength: IntValue, valueLengthOpt: Value[SIntOption]): AvlTreeValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  48. def mkCreateProveDHTuple(gv: Value[SGroupElement.type], hv: Value[SGroupElement.type], uv: Value[SGroupElement.type], vv: Value[SGroupElement.type]): SigmaPropValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  49. def mkCreateProveDlog(value: Value[SGroupElement.type]): SigmaPropValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  50. def mkDecodePoint(input: Value[SByteArray]): GroupElementValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  51. def mkDeserializeContext[T <: SType](id: Byte, tpe: T): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  52. def mkDeserializeRegister[T <: SType](reg: RegisterId, tpe: T, default: Option[Value[T]] = None): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  53. def mkDivide[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  54. def mkDowncast[T <: SNumericType, R <: SNumericType](input: Value[T], tpe: R): Value[R]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  55. def mkEQ[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  56. def mkExists[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  57. def mkExponentiate(left: Value[SGroupElement.type], right: Value[SBigInt.type]): Value[SGroupElement.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  58. def mkExtractAmount(input: Value[SBox.type]): Value[SLong.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  59. def mkExtractBytes(input: Value[SBox.type]): Value[SByteArray]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  60. def mkExtractBytesWithNoRef(input: Value[SBox.type]): Value[SByteArray]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  61. def mkExtractCreationInfo(input: Value[SBox.type]): Value[STuple]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  62. def mkExtractId(input: Value[SBox.type]): Value[SByteArray]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  63. def mkExtractRegisterAs[IV <: SType](input: Value[SBox.type], registerId: RegisterId, tpe: SOption[IV]): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  64. def mkExtractScriptBytes(input: Value[SBox.type]): Value[SByteArray]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  65. def mkFilter[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SCollection[IV]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  66. def mkFold[IV <: SType, OV <: SType](input: Value[SCollection[IV]], zero: Value[OV], foldOp: Value[SFunc]): Value[OV]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  67. def mkForAll[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  68. def mkFuncValue(args: IndexedSeq[(Int, SType)], body: Value[SType]): Value[SFunc]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  69. def mkGE[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  70. def mkGT[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  71. def mkGenLambda(tpeParams: Seq[STypeParam], args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[Nothing]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  72. def mkGetVar[T <: SType](varId: Byte, tpe: T): Value[SOption[T]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  73. def mkIdent(name: String, tpe: SType): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  74. def mkIf[T <: SType](condition: Value[SBoolean.type], trueBranch: Value[T], falseBranch: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  75. def mkLE[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  76. def mkLT[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  77. def mkLambda(args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[SFunc]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  78. def mkLogicalNot(input: Value[SBoolean.type]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  79. def mkLongToByteArray(input: Value[SLong.type]): Value[SByteArray]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  80. def mkMapCollection[IV <: SType, OV <: SType](input: Value[SCollection[IV]], mapper: Value[SFunc]): Value[SCollection[OV]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  81. def mkMax[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  82. def mkMethodCall(obj: Value[SType], method: SMethod, args: IndexedSeq[Value[SType]], typeSubst: STypeSubst = Map()): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  83. def mkMethodCallLike(obj: Value[SType], name: String, args: IndexedSeq[Value[SType]], tpe: SType): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  84. def mkMin[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  85. def mkMinus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  86. def mkMinusModQ(left: Value[SBigInt.type], right: Value[SBigInt.type]): Value[SBigInt.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  87. def mkModQ(input: Value[SBigInt.type]): Value[SBigInt.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  88. def mkModulo[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  89. def mkMultiply[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  90. def mkMultiplyGroup(left: Value[SGroupElement.type], right: Value[SGroupElement.type]): Value[SGroupElement.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  91. def mkNEQ[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  92. def mkNegation[T <: SNumericType](input: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  93. def mkNoneValue[T <: SType](elemType: T): Value[SOption[T]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  94. def mkOR(input: Value[SCollection[SBoolean.type]]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  95. def mkOptionGet[T <: SType](input: Value[SOption[T]]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  96. def mkOptionGetOrElse[T <: SType](input: Value[SOption[T]], default: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  97. def mkOptionIsDefined[T <: SType](input: Value[SOption[T]]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  98. def mkPlus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  99. def mkPlusModQ(left: Value[SBigInt.type], right: Value[SBigInt.type]): Value[SBigInt.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  100. def mkSelect(obj: Value[SType], field: String, resType: Option[SType] = None): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  101. def mkSelectField(input: Value[STuple], fieldIndex: Byte): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  102. def mkSigmaAnd(items: Seq[SigmaPropValue]): SigmaPropValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  103. def mkSigmaOr(items: Seq[SigmaPropValue]): SigmaPropValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  104. def mkSigmaPropBytes(value: Value[SSigmaProp.type]): Value[SByteArray]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  105. def mkSigmaPropIsProven(value: Value[SSigmaProp.type]): BoolValue

    Logically inverse to mkBoolToSigmaProp

    Logically inverse to mkBoolToSigmaProp

    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  106. def mkSizeOf[V <: SType](input: Value[SCollection[V]]): Value[SInt.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  107. def mkSlice[IV <: SType](input: Value[SCollection[IV]], from: Value[SInt.type], until: Value[SInt.type]): Value[SCollection[IV]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  108. def mkSomeValue[T <: SType](x: Value[T]): Value[SOption[T]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  109. def mkStringConcat(left: Constant[SString.type], right: Constant[SString.type]): Value[SString.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  110. def mkSubstConst[T <: SType](scriptBytes: Value[SByteArray], positions: Value[SIntArray], newValues: Value[SCollection[T]]): Value[SByteArray]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  111. def mkTaggedVariable[T <: SType](varId: Byte, tpe: T): TaggedVariable[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  112. def mkTreeLookup(tree: Value[SAvlTree.type], key: Value[SByteArray], proof: Value[SByteArray]): Value[SOption[SByteArray]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  113. def mkTuple(items: Seq[Value[SType]]): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  114. def mkUnitConstant: Value[SUnit.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  115. def mkUpcast[T <: SNumericType, R <: SNumericType](input: Value[T], tpe: R): Value[R]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  116. def mkVal(name: String, givenType: SType, body: Value[SType]): Val
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  117. def mkValUse(valId: Int, tpe: SType): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  118. def mkXor(left: Value[SByteArray], right: Value[SByteArray]): Value[SByteArray]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  119. def mkXorOf(input: Value[SCollection[SBoolean.type]]): BoolValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  120. def mkZKProofBlock(body: Value[SSigmaProp.type]): BoolValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  121. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  122. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  123. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  124. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  125. def unliftAny(value: SValue): Nullable[Any]
    Definition Classes
    SigmaBuilder
  126. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  127. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  128. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from StdSigmaBuilder

Inherited from SigmaBuilder

Inherited from AnyRef

Inherited from Any

Ungrouped