trait SigmaContractConstMethods extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.SigmaContract
- Self Type
- SigmaContractConstMethods with scalan.SigmaLibrary.Def[_]
- Alphabetic
- By Inheritance
- SigmaContractConstMethods
- SigmaContract
- Def
- Node
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Abstract Value Members
-
abstract
def
canEqual(that: Any): Boolean
- Definition Classes
- Equals
-
abstract
def
productArity: Int
- Definition Classes
- Product
-
abstract
def
productElement(n: Int): Any
- Definition Classes
- Product
-
abstract
def
resultType: scalan.SigmaLibrary.Elem[scalan.SigmaLibrary.SigmaContract]
Type of a resulting value produced by the operation represented by this definition.
Type of a resulting value produced by the operation represented by this definition. For example, if this definition represents application of
+: (Int, Int) => Intoperation then the result type is Int andresultTypeshould return IntElement.- Definition Classes
- Def
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
-
def
Collection[T](items: scalan.SigmaLibrary.Ref[T]*)(implicit cT: scalan.SigmaLibrary.Elem[T]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[T]]
- Definition Classes
- SigmaContractConstMethods → SigmaContract
-
def
allOf(conditions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Boolean]]): scalan.SigmaLibrary.Ref[Boolean]
- Definition Classes
- SigmaContract
-
def
allZK(conditions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[scalan.SigmaLibrary.SigmaProp]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]
- Definition Classes
- SigmaContract
-
def
anyOf(conditions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Boolean]]): scalan.SigmaLibrary.Ref[Boolean]
- Definition Classes
- SigmaContract
-
def
anyZK(conditions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[scalan.SigmaLibrary.SigmaProp]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]
- Definition Classes
- SigmaContract
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
atLeast(bound: scalan.SigmaLibrary.Ref[Int], props: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[scalan.SigmaLibrary.SigmaProp]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]
- Definition Classes
- SigmaContract
-
def
blake2b256(bytes: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]
- Definition Classes
- SigmaContract
-
def
builder: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaDslBuilder]
- Definition Classes
- SigmaContractConstMethods → SigmaContract
-
def
byteArrayToBigInt(bytes: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.BigInt]
- Definition Classes
- SigmaContract
-
def
byteArrayToLong(bytes: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]): scalan.SigmaLibrary.Ref[Long]
- Definition Classes
- SigmaContract
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
decodePoint(encoded: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement]
- Definition Classes
- SigmaContract
-
final
def
deps: Array[scalan.SigmaLibrary.Sym]
Dependencies of this definition from other definitions.
Dependencies of this definition from other definitions. If definition is interpreted as an operation, then dependencies are arguments of the operation. If definition if compound (like Lambda of ThunkDef) then
depsis equals to free variables used in the body of the compound definition. This array also refers to predecessors of this graph node, so it is used to build topological ordering (execution schedule) of operations.- returns
array of referencies to other definitions.
- Definition Classes
- Node
-
final
def
elements: Array[AnyRef]
All data elements of this graph node to be used in structural equality.
All data elements of this graph node to be used in structural equality.
- Definition Classes
- Node
- See also
equals where elements are used.
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(other: Any): Boolean
Default equality of definitions.
Default equality of definitions. Two definitions are equal if they have same
elements.- Definition Classes
- Node → Equals → AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getDeps: Array[scalan.SigmaLibrary.Sym]
Override to redefine how dependencies are computed.
Override to redefine how dependencies are computed. For example, in
coreimplementation this is overriden in Lambda and ThunkDef using freeVars.- Attributes
- protected
- Definition Classes
- Node
-
def
groupGenerator: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement]
- Definition Classes
- SigmaContract
-
def
hashCode(): Int
Computed once and saved to avoid repeated computations, which is not necessary because definitions are immutable by default.
Computed once and saved to avoid repeated computations, which is not necessary because definitions are immutable by default. If some definition require mutability, this method can be overriden accordingly.
- Definition Classes
- Node → AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
longToByteArray(l: scalan.SigmaLibrary.Ref[Long]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]
- Definition Classes
- SigmaContract
-
def
mirror(t: scalan.SigmaLibrary.Transformer): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaContract]
Clone this definition transforming all symbols using
t.Clone this definition transforming all symbols using
t. If new Def[A] is created, it is added to the graph with collapsing and rewriting. Can be overriden to implement node-specific mirroring (see MethodCall).- t
mapping of symbols to symbols (Ref[_] => Ref[_])
- returns
symbol of the logical clone. If
ddon't contain symbols, then d.self is returned.
- Definition Classes
- Def
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
nodeId: Int
Unique id of the graph node assigned for each new instance using
freshIdgenerator.Unique id of the graph node assigned for each new instance using
freshIdgenerator. Doesn't participate in equality of this Def, thus definitions with different ids may still be structurally equal. Used to provide global Def numbering.- Definition Classes
- Node
- Annotations
- @inline()
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
productIterator: Iterator[Any]
- Definition Classes
- Product
-
def
productPrefix: String
- Definition Classes
- Product
-
def
proveDHTuple(g: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement], h: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement], u: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement], v: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]
- Definition Classes
- SigmaContract
-
def
proveDlog(g: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]
- Definition Classes
- SigmaContract
-
final
def
self: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaContract]
Reference to this definition created lazily on demand.
Reference to this definition created lazily on demand.
- Definition Classes
- Def
-
def
sha256(bytes: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]
- Definition Classes
- SigmaContract
-
def
sigmaProp(b: scalan.SigmaLibrary.Ref[Boolean]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]
- Definition Classes
- SigmaContract
-
def
substConstants[T](scriptBytes: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]], positions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Int]], newValues: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[T]])(implicit cT: scalan.SigmaLibrary.Elem[T]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]
- Definition Classes
- SigmaContract
- Annotations
- @Reified()
-
final
def
syms: Array[scalan.SigmaLibrary.Sym]
References to other nodes in this Def instance.
References to other nodes in this Def instance. Note: This is different form
depsfor compound definitions like Lambda and ThunkDef.- Definition Classes
- Node
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
User readable string representation of this definition.
User readable string representation of this definition. (for debugging only)
- Definition Classes
- Node → AnyRef → Any
-
def
transform(t: scalan.SigmaLibrary.Transformer): scalan.SigmaLibrary.Def[scalan.SigmaLibrary.SigmaContract]
Create a copy of this definition applying the given transformer to all
syms.Create a copy of this definition applying the given transformer to all
syms.- Definition Classes
- Def
-
def
verifyZK(cond: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Thunk[scalan.SigmaLibrary.SigmaProp]]): scalan.SigmaLibrary.Ref[Boolean]
- Definition Classes
- SigmaContract
-
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()
-
def
xorOf(conditions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Boolean]]): scalan.SigmaLibrary.Ref[Boolean]
- Definition Classes
- SigmaContract