trait CheckingSigmaBuilder extends StdSigmaBuilder with TypeConstraintCheck

Linear Supertypes
TypeConstraintCheck, StdSigmaBuilder, SigmaBuilder, AnyRef, Any
Known Subclasses
CheckingSigmaBuilder, DefaultSigmaBuilder
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CheckingSigmaBuilder
  2. TypeConstraintCheck
  3. StdSigmaBuilder
  4. SigmaBuilder
  5. AnyRef
  6. 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
    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( ... ) @native()
  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
    Annotations
    @native()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  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
    Annotations
    @native()
  125. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  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( ... ) @native()

Inherited from TypeConstraintCheck

Inherited from StdSigmaBuilder

Inherited from SigmaBuilder

Inherited from AnyRef

Inherited from Any

Ungrouped