trait
SigmaBuilder extends AnyRef
Abstract Value Members
-
-
-
-
-
-
abstract
def
mkApplyTypes(input: Value[SType], tpeArgs: Seq[SType]): Value[SType]
-
-
-
-
-
-
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
mkByIndex[IV <: SType](input: Value[SCollection[IV]], index: Value[SInt.type], default: Option[Value[IV]] = None): Value[IV]
-
-
-
-
-
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
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
mkExtractAmount(input: Value[SBox.type]): Value[SLong.type]
-
-
abstract
def
mkExtractBytesWithNoRef(input: Value[SBox.type]): Value[SByteArray]
-
abstract
def
mkExtractCreationInfo(input: Value[SBox.type]): Value[STuple]
-
-
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
mkFuncValue(args: IndexedSeq[(Int, SType)], body: Value[SType]): Value[SFunc]
-
-
-
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
mkLambda(args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[SFunc]
-
-
-
-
-
-
abstract
def
mkMethodCallLike(obj: Value[SType], name: String, args: IndexedSeq[Value[SType]], tpe: SType = NoType): Value[SType]
-
-
abstract
def
mkMinus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
-
-
-
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
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
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
mkSelect(obj: Value[SType], field: String, resType: Option[SType] = None): Value[SType]
-
abstract
def
mkSelectField(input: Value[STuple], fieldIndex: Byte): Value[SType]
-
-
-
-
abstract
def
mkSigmaPropIsProven(value: Value[SSigmaProp.type]): BoolValue
-
-
-
abstract
def
mkSomeValue[T <: SType](x: Value[T]): Value[SOption[T]]
-
-
-
abstract
def
mkTaggedVariable[T <: SType](varId: Byte, tpe: T): TaggedVariable[T]
-
-
-
abstract
def
mkUnitConstant: Value[SUnit.type]
-
-
abstract
def
mkVal(name: String, givenType: SType, body: Value[SType]): Val
-
abstract
def
mkValUse(valId: Int, tpe: SType): Value[SType]
-
-
-
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
unliftAny(value: SValue): Nullable[Any]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any