Object/Class

sigmastate.lang

StdSigmaBuilder

Related Docs: class StdSigmaBuilder | package lang

Permalink

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

    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. def arithOp[T <: SNumericType, R](left: Value[T], right: Value[T], cons: (Value[T], Value[T]) ⇒ R): R

    Permalink
    Attributes
    protected
    Definition Classes
    StdSigmaBuilder
  5. final def asInstanceOf[T0]: T0

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. def comparisonOp[T <: SType, R](left: Value[T], right: Value[T], cons: (Value[T], Value[T]) ⇒ R): R

    Permalink
    Attributes
    protected
    Definition Classes
    StdSigmaBuilder
  8. val currentSrcCtx: DynamicVariable[Nullable[SourceContext]]

    Permalink
    Definition Classes
    SigmaBuilder
  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  10. def equalityOp[T <: SType, R](left: Value[T], right: Value[T], cons: (Value[T], Value[T]) ⇒ R): R

    Permalink
    Attributes
    protected
    Definition Classes
    StdSigmaBuilder
  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  14. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  15. def liftAny(obj: Any): Nullable[SValue]

    Permalink

    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]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  17. def mkAllOf(input: Seq[Value[SBoolean.type]]): Value[Nothing]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  18. def mkAnyOf(input: Seq[Value[SBoolean.type]]): Value[Nothing]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  19. def mkAppend[IV <: SType](input: Value[SCollection[IV]], col2: Value[SCollection[IV]]): Value[SCollection[IV]]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  20. def mkApply(func: Value[SType], args: IndexedSeq[Value[SType]]): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  21. def mkApplyTypes(input: Value[SType], tpeArgs: Seq[SType]): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  22. def mkArith[T <: SNumericType](left: Value[T], right: Value[T], opCode: OpCode): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  23. def mkAtLeast(bound: Value[SInt.type], input: Value[SCollection[SSigmaProp.type]]): SigmaPropValue

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  24. def mkBinAnd(left: BoolValue, right: BoolValue): Value[Nothing]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  25. def mkBinOr(left: BoolValue, right: BoolValue): Value[Nothing]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  26. def mkBinXor(left: BoolValue, right: BoolValue): BoolValue

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  27. def mkBitAnd[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  28. def mkBitInversion[T <: SNumericType](input: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  29. def mkBitOr[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  30. def mkBitShiftLeft[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  31. def mkBitShiftRight[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  32. def mkBitShiftRightZeroed[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  33. def mkBitXor[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  34. def mkBlock(bindings: Seq[Val], result: Value[SType]): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  35. def mkBlockValue(items: IndexedSeq[BlockItem], result: Value[SType]): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  36. def mkBoolToSigmaProp(value: BoolValue): SigmaPropValue

    Permalink

    Logically inverse to mkSigmaPropIsProven

    Logically inverse to mkSigmaPropIsProven

    Definition Classes
    StdSigmaBuilderSigmaBuilder
  37. def mkByIndex[IV <: SType](input: Value[SCollection[IV]], index: Value[SInt.type], default: Option[Value[IV]] = None): Value[IV]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  38. def mkByteArrayToBigInt(input: Value[SByteArray]): Value[SBigInt.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  39. def mkByteArrayToLong(input: Value[SByteArray]): Value[SLong.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  40. def mkCalcBlake2b256(input: Value[SByteArray]): Value[SByteArray]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  41. def mkCalcSha256(input: Value[SByteArray]): Value[SByteArray]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  42. def mkCollectionConstant[T <: SType](values: Coll[StdSigmaBuilder.mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  43. def mkCollectionConstant[T <: SType](values: Array[StdSigmaBuilder.mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  44. def mkConcreteCollection[T <: SType](items: Seq[Value[T]], elementType: T): Value[SCollection[T]]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  45. def mkConstant[T <: SType](value: StdSigmaBuilder.mkConstant.T.WrappedType, tpe: T): Constant[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  46. def mkConstantPlaceholder[T <: SType](id: Int, tpe: T): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  47. def mkCreateAvlTree(operationFlags: ByteValue, digest: Value[SByteArray], keyLength: IntValue, valueLengthOpt: Value[SIntOption]): AvlTreeValue

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  48. def mkCreateProveDHTuple(gv: Value[SGroupElement.type], hv: Value[SGroupElement.type], uv: Value[SGroupElement.type], vv: Value[SGroupElement.type]): SigmaPropValue

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  49. def mkCreateProveDlog(value: Value[SGroupElement.type]): SigmaPropValue

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  50. def mkDecodePoint(input: Value[SByteArray]): GroupElementValue

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  51. def mkDeserializeContext[T <: SType](id: Byte, tpe: T): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  52. def mkDeserializeRegister[T <: SType](reg: RegisterId, tpe: T, default: Option[Value[T]] = None): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  53. def mkDivide[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  54. def mkDowncast[T <: SNumericType, R <: SNumericType](input: Value[T], tpe: R): Value[R]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  55. def mkEQ[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  56. def mkExists[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SBoolean.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  57. def mkExponentiate(left: Value[SGroupElement.type], right: Value[SBigInt.type]): Value[SGroupElement.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  58. def mkExtractAmount(input: Value[SBox.type]): Value[SLong.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  59. def mkExtractBytes(input: Value[SBox.type]): Value[SByteArray]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  60. def mkExtractBytesWithNoRef(input: Value[SBox.type]): Value[SByteArray]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  61. def mkExtractCreationInfo(input: Value[SBox.type]): Value[STuple]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  62. def mkExtractId(input: Value[SBox.type]): Value[SByteArray]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  63. def mkExtractRegisterAs[IV <: SType](input: Value[SBox.type], registerId: RegisterId, tpe: SOption[IV]): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  64. def mkExtractScriptBytes(input: Value[SBox.type]): Value[SByteArray]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  65. def mkFilter[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SCollection[IV]]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  66. def mkFold[IV <: SType, OV <: SType](input: Value[SCollection[IV]], zero: Value[OV], foldOp: Value[SFunc]): Value[OV]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  67. def mkForAll[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SBoolean.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  68. def mkFuncValue(args: IndexedSeq[(Int, SType)], body: Value[SType]): Value[SFunc]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  69. def mkGE[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  70. def mkGT[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  71. def mkGenLambda(tpeParams: Seq[STypeParam], args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[Nothing]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  72. def mkGetVar[T <: SType](varId: Byte, tpe: T): Value[SOption[T]]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  73. def mkIdent(name: String, tpe: SType): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  74. def mkIf[T <: SType](condition: Value[SBoolean.type], trueBranch: Value[T], falseBranch: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  75. def mkLE[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  76. def mkLT[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  77. def mkLambda(args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[SFunc]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  78. def mkLogicalNot(input: Value[SBoolean.type]): Value[SBoolean.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  79. def mkLongToByteArray(input: Value[SLong.type]): Value[SByteArray]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  80. def mkMapCollection[IV <: SType, OV <: SType](input: Value[SCollection[IV]], mapper: Value[SFunc]): Value[SCollection[OV]]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  81. def mkMax[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  82. def mkMethodCall(obj: Value[SType], method: SMethod, args: IndexedSeq[Value[SType]], typeSubst: STypeSubst = Map()): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  83. def mkMethodCallLike(obj: Value[SType], name: String, args: IndexedSeq[Value[SType]], tpe: SType): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  84. def mkMin[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  85. def mkMinus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  86. def mkMinusModQ(left: Value[SBigInt.type], right: Value[SBigInt.type]): Value[SBigInt.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  87. def mkModQ(input: Value[SBigInt.type]): Value[SBigInt.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  88. def mkModulo[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  89. def mkMultiply[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  90. def mkMultiplyGroup(left: Value[SGroupElement.type], right: Value[SGroupElement.type]): Value[SGroupElement.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  91. def mkNEQ[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  92. def mkNegation[T <: SNumericType](input: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  93. def mkNoneValue[T <: SType](elemType: T): Value[SOption[T]]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  94. def mkOR(input: Value[SCollection[SBoolean.type]]): Value[SBoolean.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  95. def mkOptionGet[T <: SType](input: Value[SOption[T]]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  96. def mkOptionGetOrElse[T <: SType](input: Value[SOption[T]], default: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  97. def mkOptionIsDefined[T <: SType](input: Value[SOption[T]]): Value[SBoolean.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  98. def mkPlus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  99. def mkPlusModQ(left: Value[SBigInt.type], right: Value[SBigInt.type]): Value[SBigInt.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  100. def mkSelect(obj: Value[SType], field: String, resType: Option[SType] = None): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  101. def mkSelectField(input: Value[STuple], fieldIndex: Byte): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  102. def mkSigmaAnd(items: Seq[SigmaPropValue]): SigmaPropValue

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  103. def mkSigmaOr(items: Seq[SigmaPropValue]): SigmaPropValue

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  104. def mkSigmaPropBytes(value: Value[SSigmaProp.type]): Value[SByteArray]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  105. def mkSigmaPropIsProven(value: Value[SSigmaProp.type]): BoolValue

    Permalink

    Logically inverse to mkBoolToSigmaProp

    Logically inverse to mkBoolToSigmaProp

    Definition Classes
    StdSigmaBuilderSigmaBuilder
  106. def mkSizeOf[V <: SType](input: Value[SCollection[V]]): Value[SInt.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  107. def mkSlice[IV <: SType](input: Value[SCollection[IV]], from: Value[SInt.type], until: Value[SInt.type]): Value[SCollection[IV]]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  108. def mkSomeValue[T <: SType](x: Value[T]): Value[SOption[T]]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  109. def mkStringConcat(left: Constant[SString.type], right: Constant[SString.type]): Value[SString.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  110. def mkSubstConst[T <: SType](scriptBytes: Value[SByteArray], positions: Value[SIntArray], newValues: Value[SCollection[T]]): Value[SByteArray]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  111. def mkTaggedVariable[T <: SType](varId: Byte, tpe: T): TaggedVariable[T]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  112. def mkTreeLookup(tree: Value[SAvlTree.type], key: Value[SByteArray], proof: Value[SByteArray]): Value[SOption[SByteArray]]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  113. def mkTuple(items: Seq[Value[SType]]): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  114. def mkUnitConstant: Value[SUnit.type]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  115. def mkUpcast[T <: SNumericType, R <: SNumericType](input: Value[T], tpe: R): Value[R]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  116. def mkVal(name: String, givenType: SType, body: Value[SType]): Val

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  117. def mkValUse(valId: Int, tpe: SType): Value[SType]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  118. def mkXor(left: Value[SByteArray], right: Value[SByteArray]): Value[SByteArray]

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  119. def mkXorOf(input: Value[SCollection[SBoolean.type]]): BoolValue

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  120. def mkZKProofBlock(body: Value[SSigmaProp.type]): BoolValue

    Permalink
    Definition Classes
    StdSigmaBuilderSigmaBuilder
  121. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  122. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  123. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  124. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  125. def unliftAny(value: SValue): Nullable[Any]

    Permalink
    Definition Classes
    SigmaBuilder
  126. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  127. final def wait(arg0: Long, arg1: Int): Unit

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

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

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