o

sigmastate.lang

DeserializationSigmaBuilder

object DeserializationSigmaBuilder extends StdSigmaBuilder with TransformingSigmaBuilder with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, TransformingSigmaBuilder, TypeConstraintCheck, StdSigmaBuilder, SigmaBuilder, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DeserializationSigmaBuilder
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. TransformingSigmaBuilder
  7. TypeConstraintCheck
  8. StdSigmaBuilder
  9. SigmaBuilder
  10. AnyRef
  11. 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
    TransformingSigmaBuilder → StdSigmaBuilder
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def check2[T <: SType](left: Value[T], right: Value[T], constraints: Seq[TypeConstraint2]): Unit

    Definition Classes
    TypeConstraintCheck
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. def comparisonOp[T <: SType, R](left: Value[T], right: Value[T], cons: (Value[T], Value[T]) ⇒ R): R
    Attributes
    protected
    Definition Classes
    TransformingSigmaBuilder → StdSigmaBuilder
  9. val currentSrcCtx: DynamicVariable[Nullable[SourceContext]]
    Definition Classes
    SigmaBuilder
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equalityOp[T <: SType, R](left: Value[T], right: Value[T], cons: (Value[T], Value[T]) ⇒ R): R
    Attributes
    protected
    Definition Classes
    TransformingSigmaBuilder → StdSigmaBuilder
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. 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
  17. def mkAND(input: Value[SCollection[SBoolean.type]]): Value[SBoolean.type]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  18. def mkAllOf(input: Seq[Value[SBoolean.type]]): Value[Nothing]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  19. def mkAnyOf(input: Seq[Value[SBoolean.type]]): Value[Nothing]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  20. def mkAppend[IV <: SType](input: Value[SCollection[IV]], col2: Value[SCollection[IV]]): Value[SCollection[IV]]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  21. def mkApply(func: Value[SType], args: IndexedSeq[Value[SType]]): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  22. def mkApplyTypes(input: Value[SType], tpeArgs: Seq[SType]): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  23. def mkArith[T <: SNumericType](left: Value[T], right: Value[T], opCode: OpCode): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  24. def mkAtLeast(bound: Value[SInt.type], input: Value[SCollection[SSigmaProp.type]]): SigmaPropValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  25. def mkBinAnd(left: BoolValue, right: BoolValue): Value[Nothing]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  26. def mkBinOr(left: BoolValue, right: BoolValue): Value[Nothing]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  27. def mkBinXor(left: BoolValue, right: BoolValue): BoolValue
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  28. def mkBitAnd[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  29. def mkBitInversion[T <: SNumericType](input: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  30. def mkBitOr[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  31. def mkBitShiftLeft[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  32. def mkBitShiftRight[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  33. def mkBitShiftRightZeroed[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  34. def mkBitXor[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  35. def mkBlock(bindings: Seq[Val], result: Value[SType]): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  36. def mkBlockValue(items: IndexedSeq[BlockItem], result: Value[SType]): Value[SType]
    Definition Classes
    StdSigmaBuilder → SigmaBuilder
  37. def mkBoolToSigmaProp(value: BoolValue): SigmaPropValue

    Logically inverse to mkSigmaPropIsProven

    Logically inverse to mkSigmaPropIsProven

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

    Logically inverse to mkBoolToSigmaProp

    Logically inverse to mkBoolToSigmaProp

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

Inherited from TypeConstraintCheck

Inherited from StdSigmaBuilder

Inherited from SigmaBuilder

Inherited from AnyRef

Inherited from Any

Ungrouped