TransformingSigmaBuilder

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

   

   HOTSPOT: called during script deserialization (don't beautify this code)

   HOTSPOT: called during script deserialization (don't beautify this code)

   Definition Classes

   TypeConstraintCheck

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

15. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

16. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

17. 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

18. def mkAND(input: Value[SCollection[SBoolean.type]]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

19. def mkAllOf(input: Seq[Value[SBoolean.type]]): Value[Nothing]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

20. def mkAnyOf(input: Seq[Value[SBoolean.type]]): Value[Nothing]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

21. def mkAppend[IV <: SType](input: Value[SCollection[IV]], col2: Value[SCollection[IV]]): Value[SCollection[IV]]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

22. def mkApply(func: Value[SType], args: IndexedSeq[Value[SType]]): Value[SType]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

23. def mkApplyTypes(input: Value[SType], tpeArgs: Seq[SType]): Value[SType]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

24. def mkArith[T <: SNumericType](left: Value[T], right: Value[T], opCode: OpCode): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

25. def mkAtLeast(bound: Value[SInt.type], input: Value[SCollection[SSigmaProp.type]]): SigmaPropValue

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

26. def mkBinAnd(left: BoolValue, right: BoolValue): Value[Nothing]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

27. def mkBinOr(left: BoolValue, right: BoolValue): Value[Nothing]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

28. def mkBinXor(left: BoolValue, right: BoolValue): BoolValue

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

29. def mkBitAnd[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

30. def mkBitInversion[T <: SNumericType](input: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

31. def mkBitOr[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

32. def mkBitShiftLeft[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

33. def mkBitShiftRight[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

34. def mkBitShiftRightZeroed[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

35. def mkBitXor[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

36. def mkBlock(bindings: Seq[Val], result: Value[SType]): Value[SType]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

37. def mkBlockValue(items: IndexedSeq[BlockItem], result: Value[SType]): Value[SType]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

38. def mkBoolToSigmaProp(value: BoolValue): SigmaPropValue

    

    Logically inverse to mkSigmaPropIsProven

    Logically inverse to mkSigmaPropIsProven

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

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

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

40. def mkByteArrayToBigInt(input: Value[SByteArray]): Value[SBigInt.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

41. def mkByteArrayToLong(input: Value[SByteArray]): Value[SLong.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

42. def mkCalcBlake2b256(input: Value[SByteArray]): Value[SByteArray]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

43. def mkCalcSha256(input: Value[SByteArray]): Value[SByteArray]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

44. def mkCollectionConstant[T <: SType](values: Coll[StdSigmaBuilder.mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

45. def mkCollectionConstant[T <: SType](values: Array[StdSigmaBuilder.mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

46. def mkConcreteCollection[T <: SType](items: Seq[Value[T]], elementType: T): Value[SCollection[T]]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

47. def mkConstant[T <: SType](value: StdSigmaBuilder.mkConstant.T.WrappedType, tpe: T): Constant[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

48. def mkConstantPlaceholder[T <: SType](id: Int, tpe: T): Value[SType]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

49. def mkCreateAvlTree(operationFlags: ByteValue, digest: Value[SByteArray], keyLength: IntValue, valueLengthOpt: Value[SIntOption]): AvlTreeValue

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

50. def mkCreateProveDHTuple(gv: Value[SGroupElement.type], hv: Value[SGroupElement.type], uv: Value[SGroupElement.type], vv: Value[SGroupElement.type]): SigmaPropValue

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

51. def mkCreateProveDlog(value: Value[SGroupElement.type]): SigmaPropValue

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

52. def mkDecodePoint(input: Value[SByteArray]): GroupElementValue

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

53. def mkDeserializeContext[T <: SType](id: Byte, tpe: T): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

54. def mkDeserializeRegister[T <: SType](reg: RegisterId, tpe: T, default: Option[Value[T]] = None): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

55. def mkDivide[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

56. def mkDowncast[T <: SNumericType, R <: SNumericType](input: Value[T], tpe: R): Value[R]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

57. def mkEQ[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

58. def mkExists[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

59. def mkExponentiate(left: Value[SGroupElement.type], right: Value[SBigInt.type]): Value[SGroupElement.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

60. def mkExtractAmount(input: Value[SBox.type]): Value[SLong.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

61. def mkExtractBytes(input: Value[SBox.type]): Value[SByteArray]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

62. def mkExtractBytesWithNoRef(input: Value[SBox.type]): Value[SByteArray]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

63. def mkExtractCreationInfo(input: Value[SBox.type]): Value[STuple]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

64. def mkExtractId(input: Value[SBox.type]): Value[SByteArray]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

65. def mkExtractRegisterAs[IV <: SType](input: Value[SBox.type], registerId: RegisterId, tpe: SOption[IV]): Value[SType]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

66. def mkExtractScriptBytes(input: Value[SBox.type]): Value[SByteArray]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

67. def mkFilter[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SCollection[IV]]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

68. def mkFold[IV <: SType, OV <: SType](input: Value[SCollection[IV]], zero: Value[OV], foldOp: Value[SFunc]): Value[OV]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

69. def mkForAll[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

70. def mkFuncValue(args: IndexedSeq[(Int, SType)], body: Value[SType]): Value[SFunc]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

71. def mkGE[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

72. def mkGT[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

73. def mkGenLambda(tpeParams: Seq[STypeParam], args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[Nothing]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

74. def mkGetVar[T <: SType](varId: Byte, tpe: T): Value[SOption[T]]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

75. def mkIdent(name: String, tpe: SType): Value[SType]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

76. def mkIf[T <: SType](condition: Value[SBoolean.type], trueBranch: Value[T], falseBranch: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

77. def mkLE[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

78. def mkLT[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

79. def mkLambda(args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[SFunc]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

80. def mkLogicalNot(input: Value[SBoolean.type]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

81. def mkLongToByteArray(input: Value[SLong.type]): Value[SByteArray]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

82. def mkMapCollection[IV <: SType, OV <: SType](input: Value[SCollection[IV]], mapper: Value[SFunc]): Value[SCollection[OV]]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

83. def mkMax[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

84. def mkMethodCall(obj: Value[SType], method: SMethod, args: IndexedSeq[Value[SType]], typeSubst: STypeSubst = Map()): Value[SType]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

85. def mkMethodCallLike(obj: Value[SType], name: String, args: IndexedSeq[Value[SType]], tpe: SType): Value[SType]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

86. def mkMin[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

87. def mkMinus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

88. def mkMinusModQ(left: Value[SBigInt.type], right: Value[SBigInt.type]): Value[SBigInt.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

89. def mkModQ(input: Value[SBigInt.type]): Value[SBigInt.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

90. def mkModulo[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

91. def mkMultiply[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

92. def mkMultiplyGroup(left: Value[SGroupElement.type], right: Value[SGroupElement.type]): Value[SGroupElement.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

93. def mkNEQ[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

94. def mkNegation[T <: SNumericType](input: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

95. def mkNoneValue[T <: SType](elemType: T): Value[SOption[T]]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

96. def mkOR(input: Value[SCollection[SBoolean.type]]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

97. def mkOptionGet[T <: SType](input: Value[SOption[T]]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

98. def mkOptionGetOrElse[T <: SType](input: Value[SOption[T]], default: Value[T]): Value[T]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

99. def mkOptionIsDefined[T <: SType](input: Value[SOption[T]]): Value[SBoolean.type]

    

    Definition Classes

    StdSigmaBuilder → SigmaBuilder

100. def mkPlus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

101. def mkPlusModQ(left: Value[SBigInt.type], right: Value[SBigInt.type]): Value[SBigInt.type]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

102. def mkSelect(obj: Value[SType], field: String, resType: Option[SType] = None): Value[SType]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

103. def mkSelectField(input: Value[STuple], fieldIndex: Byte): Value[SType]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

104. def mkSigmaAnd(items: Seq[SigmaPropValue]): SigmaPropValue

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

105. def mkSigmaOr(items: Seq[SigmaPropValue]): SigmaPropValue

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

106. def mkSigmaPropBytes(value: Value[SSigmaProp.type]): Value[SByteArray]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

107. def mkSigmaPropIsProven(value: Value[SSigmaProp.type]): BoolValue

     

     Logically inverse to mkBoolToSigmaProp

     Logically inverse to mkBoolToSigmaProp

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

108. def mkSizeOf[V <: SType](input: Value[SCollection[V]]): Value[SInt.type]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

109. def mkSlice[IV <: SType](input: Value[SCollection[IV]], from: Value[SInt.type], until: Value[SInt.type]): Value[SCollection[IV]]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

110. def mkSomeValue[T <: SType](x: Value[T]): Value[SOption[T]]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

111. def mkStringConcat(left: Constant[SString.type], right: Constant[SString.type]): Value[SString.type]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

112. def mkSubstConst[T <: SType](scriptBytes: Value[SByteArray], positions: Value[SIntArray], newValues: Value[SCollection[T]]): Value[SByteArray]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

113. def mkTaggedVariable[T <: SType](varId: Byte, tpe: T): TaggedVariable[T]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

114. def mkTreeLookup(tree: Value[SAvlTree.type], key: Value[SByteArray], proof: Value[SByteArray]): Value[SOption[SByteArray]]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

115. def mkTuple(items: Seq[Value[SType]]): Value[SType]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

116. def mkUnitConstant: Value[SUnit.type]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

117. def mkUpcast[T <: SNumericType, R <: SNumericType](input: Value[T], tpe: R): Value[R]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

118. def mkVal(name: String, givenType: SType, body: Value[SType]): Val

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

119. def mkValUse(valId: Int, tpe: SType): Value[SType]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

120. def mkXor(left: Value[SByteArray], right: Value[SByteArray]): Value[SByteArray]

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

121. def mkXorOf(input: Value[SCollection[SBoolean.type]]): BoolValue

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

122. def mkZKProofBlock(body: Value[SSigmaProp.type]): BoolValue

     

     Definition Classes

     StdSigmaBuilder → SigmaBuilder

123. final def ne(arg0: AnyRef): Boolean

     

     Definition Classes

     AnyRef

124. final def notify(): Unit

     

     Definition Classes

     AnyRef

125. final def notifyAll(): Unit

     

     Definition Classes

     AnyRef

126. final def synchronized[T0](arg0: ⇒ T0): T0

     

     Definition Classes

     AnyRef

127. def toString(): String

     

     Definition Classes

     AnyRef → Any

128. def unliftAny(value: SValue): Nullable[Any]

     

     Definition Classes

     SigmaBuilder

129. final def wait(): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

130. final def wait(arg0: Long, arg1: Int): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

131. final def wait(arg0: Long): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )