abstract
class
SigmaBuilder extends AnyRef
Instance Constructors
-
new
SigmaBuilder()
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
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
Abstract interface of ErgoTree node builders. Each method of the interface creates the corresponding ErgoTree node. The signatures of the methods reflect the constructors of the nodes. See the corresponding node classes for details.