Trait

sigmastate.lang

SigmaBuilder

Related Doc: package lang

Permalink

trait SigmaBuilder extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
CheckingSigmaBuilder, CheckingSigmaBuilder, DefaultSigmaBuilder, DeserializationSigmaBuilder, StdSigmaBuilder, StdSigmaBuilder, TransformingSigmaBuilder, TransformingSigmaBuilder
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SigmaBuilder
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def mkAND(input: Value[SCollection[SBoolean.type]]): BoolValue

    Permalink

  2. abstract def mkAllOf(input: Seq[Value[SBoolean.type]]): BoolValue

    Permalink

  3. abstract def mkAnyOf(input: Seq[Value[SBoolean.type]]): BoolValue

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  9. abstract def mkBinAnd(left: BoolValue, right: BoolValue): BoolValue

    Permalink

  10. abstract def mkBinOr(left: BoolValue, right: BoolValue): BoolValue

    Permalink

  11. abstract def mkBinXor(left: BoolValue, right: BoolValue): BoolValue

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  21. abstract def mkBoolToSigmaProp(value: BoolValue): SigmaPropValue

    Permalink

    Logically inverse to mkSigmaPropIsProven

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

    Permalink

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

    Permalink

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

    Permalink

  25. abstract def mkCalcBlake2b256(input: Value[SByteArray]): Value[SByteArray]

    Permalink

  26. abstract def mkCalcSha256(input: Value[SByteArray]): Value[SByteArray]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  67. abstract def mkMethodCall(obj: Value[SType], method: SMethod, args: IndexedSeq[Value[SType]], typeSubst: STypeSubst): Value[SType]

    Permalink

  68. abstract def mkMethodCallLike(obj: Value[SType], name: String, args: IndexedSeq[Value[SType]], tpe: SType = NoType): Value[SType]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  79. abstract def mkOR(input: Value[SCollection[SBoolean.type]]): BoolValue

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  87. abstract def mkSigmaAnd(items: Seq[SigmaPropValue]): SigmaPropValue

    Permalink

  88. abstract def mkSigmaOr(items: Seq[SigmaPropValue]): SigmaPropValue

    Permalink

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

    Permalink

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

    Permalink

    Logically inverse to mkBoolToSigmaProp

  91. abstract def mkSizeOf[IV <: SType](input: Value[SCollection[IV]]): Value[SInt.type]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  99. abstract def mkUnitConstant: Value[SUnit.type]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  105. abstract def mkZKProofBlock(body: Value[SSigmaProp.type]): Value[SBoolean.type]

    Permalink

Concrete 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. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )

  6. val currentSrcCtx: DynamicVariable[Nullable[SourceContext]]

    Permalink

  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  9. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  10. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  11. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

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

    Permalink
    Definition Classes
    AnyRef

  14. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  15. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

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

    Permalink
    Definition Classes
    AnyRef

  17. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink

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

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

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

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

  21. final def wait(): Unit

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

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Ungrouped