trait SigmaBuilder extends AnyRef
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- SigmaBuilder
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Abstract Value Members
- abstract def mkAND(input: Value[SCollection[SBoolean.type]]): BoolValue
- abstract def mkAllOf(input: Seq[Value[SBoolean.type]]): BoolValue
- abstract def mkAnyOf(input: Seq[Value[SBoolean.type]]): BoolValue
- abstract def mkAppend[IV <: SType](input: Value[SCollection[IV]], col2: Value[SCollection[IV]]): Value[SCollection[IV]]
- abstract def mkApply(func: Value[SType], args: IndexedSeq[Value[SType]]): Value[SType]
- abstract def mkApplyTypes(input: Value[SType], tpeArgs: Seq[SType]): Value[SType]
- abstract def mkArith[T <: SNumericType](left: Value[T], right: Value[T], opCode: OpCode): Value[T]
- abstract def mkAtLeast(bound: Value[SInt.type], input: Value[SCollection[SSigmaProp.type]]): SigmaPropValue
- abstract def mkBinAnd(left: BoolValue, right: BoolValue): BoolValue
- abstract def mkBinOr(left: BoolValue, right: BoolValue): BoolValue
- abstract def mkBinXor(left: BoolValue, right: BoolValue): BoolValue
- abstract def mkBitAnd[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkBitInversion[T <: SNumericType](input: Value[T]): Value[T]
- abstract def mkBitOr[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkBitShiftLeft[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
- abstract def mkBitShiftRight[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
- abstract def mkBitShiftRightZeroed[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
- abstract def mkBitXor[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkBlock(bindings: Seq[Val], result: Value[SType]): Value[SType]
- abstract def mkBlockValue(items: IndexedSeq[BlockItem], result: Value[SType]): Value[SType]
-
abstract
def
mkBoolToSigmaProp(value: BoolValue): SigmaPropValue
Logically inverse to mkSigmaPropIsProven
- abstract def mkByIndex[IV <: SType](input: Value[SCollection[IV]], index: Value[SInt.type], default: Option[Value[IV]] = None): Value[IV]
- abstract def mkByteArrayToBigInt(input: Value[SByteArray]): Value[SBigInt.type]
- abstract def mkByteArrayToLong(input: Value[SByteArray]): Value[SLong.type]
- abstract def mkCalcBlake2b256(input: Value[SByteArray]): Value[SByteArray]
- abstract def mkCalcSha256(input: Value[SByteArray]): Value[SByteArray]
- abstract def mkCollectionConstant[T <: SType](values: Coll[mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]
- abstract def mkCollectionConstant[T <: SType](values: Array[mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]
- abstract def mkConcreteCollection[T <: SType](items: Seq[Value[T]], elementType: T): Value[SCollection[T]]
- abstract def mkConstant[T <: SType](value: mkConstant.T.WrappedType, tpe: T): Constant[T]
- abstract def mkConstantPlaceholder[T <: SType](id: Int, tpe: T): Value[SType]
- abstract def mkCreateAvlTree(operationFlags: ByteValue, digest: Value[SByteArray], keyLength: IntValue, valueLengthOpt: Value[SIntOption]): AvlTreeValue
- abstract def mkCreateProveDHTuple(gv: Value[SGroupElement.type], hv: Value[SGroupElement.type], uv: Value[SGroupElement.type], vv: Value[SGroupElement.type]): SigmaPropValue
- abstract def mkCreateProveDlog(value: Value[SGroupElement.type]): SigmaPropValue
- abstract def mkDecodePoint(input: Value[SByteArray]): GroupElementValue
- abstract def mkDeserializeContext[T <: SType](id: Byte, tpe: T): Value[T]
- abstract def mkDeserializeRegister[T <: SType](reg: RegisterId, tpe: T, default: Option[Value[T]] = None): Value[T]
- abstract def mkDivide[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkDowncast[T <: SNumericType, R <: SNumericType](input: Value[T], tpe: R): Value[R]
- abstract def mkEQ[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkExists[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SBoolean.type]
- abstract def mkExponentiate(left: Value[SGroupElement.type], right: Value[SBigInt.type]): Value[SGroupElement.type]
- abstract def mkExtractAmount(input: Value[SBox.type]): Value[SLong.type]
- abstract def mkExtractBytes(input: Value[SBox.type]): Value[SByteArray]
- abstract def mkExtractBytesWithNoRef(input: Value[SBox.type]): Value[SByteArray]
- abstract def mkExtractCreationInfo(input: Value[SBox.type]): Value[STuple]
- abstract def mkExtractId(input: Value[SBox.type]): Value[SByteArray]
- abstract def mkExtractRegisterAs[IV <: SType](input: Value[SBox.type], registerId: RegisterId, tpe: SOption[IV]): Value[SType]
- abstract def mkExtractScriptBytes(input: Value[SBox.type]): Value[SByteArray]
- abstract def mkFilter[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SCollection[IV]]
- abstract def mkFold[IV <: SType, OV <: SType](input: Value[SCollection[IV]], zero: Value[OV], foldOp: Value[SFunc]): Value[OV]
- abstract def mkForAll[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SBoolean.type]
- abstract def mkFuncValue(args: IndexedSeq[(Int, SType)], body: Value[SType]): Value[SFunc]
- abstract def mkGE[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkGT[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkGenLambda(tpeParams: Seq[STypeParam], args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[SFunc]
- abstract def mkGetVar[T <: SType](varId: Byte, tpe: T): Value[SOption[T]]
- abstract def mkIdent(name: String, tpe: SType): Value[SType]
- abstract def mkIf[T <: SType](condition: Value[SBoolean.type], trueBranch: Value[T], falseBranch: Value[T]): Value[T]
- abstract def mkLE[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkLT[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkLambda(args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[SFunc]
- abstract def mkLogicalNot(input: Value[SBoolean.type]): Value[SBoolean.type]
- abstract def mkLongToByteArray(input: Value[SLong.type]): Value[SByteArray]
- abstract def mkMapCollection[IV <: SType, OV <: SType](input: Value[SCollection[IV]], mapper: Value[SFunc]): Value[SCollection[OV]]
- abstract def mkMax[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkMethodCall(obj: Value[SType], method: SMethod, args: IndexedSeq[Value[SType]], typeSubst: STypeSubst): Value[SType]
- abstract def mkMethodCallLike(obj: Value[SType], name: String, args: IndexedSeq[Value[SType]], tpe: SType = NoType): Value[SType]
- abstract def mkMin[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkMinus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkMinusModQ(left: Value[SBigInt.type], right: Value[SBigInt.type]): Value[SBigInt.type]
- abstract def mkModQ(input: Value[SBigInt.type]): Value[SBigInt.type]
- abstract def mkModulo[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkMultiply[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkMultiplyGroup(left: Value[SGroupElement.type], right: Value[SGroupElement.type]): Value[SGroupElement.type]
- abstract def mkNEQ[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkNegation[T <: SNumericType](input: Value[T]): Value[T]
- abstract def mkNoneValue[T <: SType](elemType: T): Value[SOption[T]]
- abstract def mkOR(input: Value[SCollection[SBoolean.type]]): BoolValue
- abstract def mkOptionGet[T <: SType](input: Value[SOption[T]]): Value[T]
- abstract def mkOptionGetOrElse[T <: SType](input: Value[SOption[T]], default: Value[T]): Value[T]
- abstract def mkOptionIsDefined[T <: SType](input: Value[SOption[T]]): Value[SBoolean.type]
- abstract def mkPlus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkPlusModQ(left: Value[SBigInt.type], right: Value[SBigInt.type]): Value[SBigInt.type]
- abstract def mkSelect(obj: Value[SType], field: String, resType: Option[SType] = None): Value[SType]
- abstract def mkSelectField(input: Value[STuple], fieldIndex: Byte): Value[SType]
- abstract def mkSigmaAnd(items: Seq[SigmaPropValue]): SigmaPropValue
- abstract def mkSigmaOr(items: Seq[SigmaPropValue]): SigmaPropValue
- abstract def mkSigmaPropBytes(value: Value[SSigmaProp.type]): Value[SByteArray]
-
abstract
def
mkSigmaPropIsProven(value: Value[SSigmaProp.type]): BoolValue
Logically inverse to mkBoolToSigmaProp
- abstract def mkSizeOf[IV <: SType](input: Value[SCollection[IV]]): Value[SInt.type]
- abstract def mkSlice[IV <: SType](input: Value[SCollection[IV]], from: Value[SInt.type], until: Value[SInt.type]): Value[SCollection[IV]]
- abstract def mkSomeValue[T <: SType](x: Value[T]): Value[SOption[T]]
- abstract def mkStringConcat(left: Constant[SString.type], right: Constant[SString.type]): Value[SString.type]
- abstract def mkSubstConst[T <: SType](scriptBytes: Value[SByteArray], positions: Value[SIntArray], newValues: Value[SCollection[T]]): Value[SByteArray]
- abstract def mkTaggedVariable[T <: SType](varId: Byte, tpe: T): TaggedVariable[T]
- abstract def mkTreeLookup(tree: Value[SAvlTree.type], key: Value[SByteArray], proof: Value[SByteArray]): Value[SOption[SByteArray]]
- abstract def mkTuple(items: Seq[Value[SType]]): Value[SType]
- abstract def mkUnitConstant: Value[SUnit.type]
- abstract def mkUpcast[T <: SNumericType, R <: SNumericType](input: Value[T], tpe: R): Value[R]
- abstract def mkVal(name: String, givenType: SType, body: Value[SType]): Val
- abstract def mkValUse(valId: Int, tpe: SType): Value[SType]
- abstract def mkXor(left: Value[SByteArray], right: Value[SByteArray]): Value[SByteArray]
- abstract def mkXorOf(input: Value[SCollection[SBoolean.type]]): BoolValue
- abstract def mkZKProofBlock(body: Value[SSigmaProp.type]): Value[SBoolean.type]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- val currentSrcCtx: DynamicVariable[Nullable[SourceContext]]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
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
. Ifobj
is already Value, then it is returned as result. Uses scalan.Nullable instead of scala.Option to avoid allocation on consensus hot path. -
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- def unliftAny(value: SValue): Nullable[Any]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()