CheckingSigmaBuilder

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

   CheckingSigmaBuilder → 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

   CheckingSigmaBuilder → 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

    CheckingSigmaBuilder → 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. 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

124. final def notifyAll(): Unit

     

     Definition Classes

     AnyRef

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( ... )