Package

sigmastate

eval

Permalink

package eval

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. eval
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait BaseDigestColl extends TaggedType[Coll[Byte]]

    Permalink
  2. case class CAvlTree(treeData: AvlTreeData) extends AvlTree with WrapperOf[AvlTreeData] with Product with Serializable

    Permalink

    A default implementation of AvlTree interface.

    A default implementation of AvlTree interface.

    See also

    AvlTree for detailed descriptions

  3. case class CBigInt(wrappedValue: BigInteger) extends TestBigInt with WrapperOf[BigInteger] with Product with Serializable

    Permalink

    A default implementation of BigInt interface.

    A default implementation of BigInt interface.

    See also

    BigInt for detailed descriptions

  4. class CCostModel extends CostModel

    Permalink

    A default implementation of CostModel interface.

    A default implementation of CostModel interface.

    See also

    CostModel for detailed descriptions

  5. case class CGroupElement(wrappedValue: EcPointType) extends TestGroupElement with WrapperOf[ECPoint] with Product with Serializable

    Permalink

    A default implementation of GroupElement interface.

    A default implementation of GroupElement interface.

    See also

    GroupElement for detailed descriptions

  6. case class CHeader(id: Coll[Byte], version: Byte, parentId: Coll[Byte], ADProofsRoot: Coll[Byte], stateRoot: AvlTree, transactionsRoot: Coll[Byte], timestamp: Long, nBits: Long, height: Int, extensionRoot: Coll[Byte], minerPk: GroupElement, powOnetimePk: GroupElement, powNonce: Coll[Byte], powDistance: BigInt, votes: Coll[Byte]) extends Header with Product with Serializable

    Permalink

    A default implementation of Header interface.

    A default implementation of Header interface.

    See also

    Header for detailed descriptions

  7. case class CPreHeader(version: Byte, parentId: Coll[Byte], timestamp: Long, nBits: Long, height: Int, minerPk: GroupElement, votes: Coll[Byte]) extends PreHeader with Product with Serializable

    Permalink

    A default implementation of PreHeader interface.

    A default implementation of PreHeader interface.

    See also

    PreHeader for detailed descriptions

  8. case class CSigmaProp(sigmaTree: SigmaBoolean) extends SigmaProp with WrapperOf[SigmaBoolean] with Product with Serializable

    Permalink

    A default implementation of SigmaProp interface.

    A default implementation of SigmaProp interface.

    See also

    SigmaProp for detailed descriptions

  9. case class CZero[T](zero: T) extends Zero[T] with Product with Serializable

    Permalink
  10. trait CompiletimeCosting extends Scalan with RuntimeCosting

    Permalink
  11. class CompiletimeIRContext extends Scalan with IRContext with CompiletimeCosting

    Permalink

    IR context to be used by script development tools to compile ErgoScript into ErgoTree bytecode.

  12. case class CostingBox(isCost: Boolean, ebox: ErgoBox) extends Box with WrapperOf[ErgoBox] with Product with Serializable

    Permalink

    A default implementation of Box interface.

    A default implementation of Box interface.

    See also

    Box for detailed descriptions

  13. case class CostingDataContext(_dataInputs: Coll[Box], headers: Coll[Header], preHeader: PreHeader, inputs: Coll[Box], outputs: Coll[Box], height: Int, selfBox: Box, lastBlockUtxoRootHash: AvlTree, _minerPubKey: Coll[Byte], vars: Coll[AnyValue], isCost: Boolean) extends Context with Product with Serializable

    Permalink

    A default implementation of Context interface.

    A default implementation of Context interface.

    See also

    Context for detailed descriptions

  14. trait CostingRules extends Scalan with SigmaLibrary

    Permalink
  15. class CostingSigmaDslBuilder extends TestSigmaDslBuilder

    Permalink

    A default implementation of SigmaDslBuilder interface.

    A default implementation of SigmaDslBuilder interface.

    See also

    SigmaDslBuilder for detailed descriptions

  16. type Digest32Coll = Coll[Byte] with Tag[Coll[Byte], eval.Digest32Coll.Tag]

    Permalink
  17. type DigestColl = Coll[Byte] with Tag[Coll[Byte], eval.BaseDigestColl.Tag]

    Permalink
  18. class EvalSizeBox extends CSizeBox

    Permalink
  19. class EvalSizeBuilder extends CSizeBuilder

    Permalink
  20. trait Evaluation extends Scalan with RuntimeCosting

    Permalink

    This is a slice in IRContext cake which implements evaluation of graphs.

  21. trait IRContext extends Scalan with Evaluation with TreeBuilding

    Permalink
  22. trait RuntimeCosting extends Scalan with CostingRules

    Permalink
  23. class RuntimeIRContext extends Scalan with IRContext

    Permalink

    IR context to be used by blockchain nodes to validate transactions.

  24. trait Sized[T] extends AnyRef

    Permalink

    Type-class to give types a capability to build a Size structure.

  25. trait SizedLowPriority extends AnyRef

    Permalink
  26. trait TreeBuilding extends Scalan with RuntimeCosting

    Permalink
  27. trait WrapperOf[T] extends AnyRef

    Permalink

    Interface implmented by wrappers to provide access to the underlying wrapped value.

  28. trait Zero[T] extends AnyRef

    Permalink
  29. trait ZeroLowPriority extends AnyRef

    Permalink

Value Members

  1. object CCostModel

    Permalink
  2. object CFunc

    Permalink

    This class represents context variable and register value of a functional type A => B.

    This class represents context variable and register value of a functional type A => B. When variable or register is accessed using getVar[A => B](id).get or box.getReg[A => B].get an instance of this class is returned.

    It internally transforms a given tree into executable function. This it similar to what happens during validation of propositions in the input boxes: - size check of underlying ErgoTree against limits - construction of calcF and costF graphs, both are stored together with resulting function. - check the types of calcF graph to be compatible with expected types A and B If anything goes wrong, this operation fails and if it is used in the script, the script also fails.

    When f is obtained as val f = getVar[Int => Int](id).get then any application f(x) involves size estimation using underlying costF(x).

  3. object CHeader extends Serializable

    Permalink
  4. val Colls: CollBuilder

    Permalink

    The primary reference to global Coll operations.

    The primary reference to global Coll operations. Can be used to create collections from Array etc.

    See also

    CollBuilder

  5. object CostingBox extends Serializable

    Permalink
  6. object CostingSigmaDslBuilder extends CostingSigmaDslBuilder

    Permalink

    Default singleton instance of Global object, which implements global ErgoTree functions.

  7. object Digest32Coll extends BaseDigestColl

    Permalink
  8. implicit val Digest32CollRType: RType[Digest32Coll]

    Permalink
  9. implicit val Digest32RType: RType[Digest32]

    Permalink
  10. object Evaluation

    Permalink
  11. object Extensions

    Permalink
  12. object NumericOps

    Permalink
  13. object OrderingOps

    Permalink
  14. val SigmaDsl: CostingSigmaDslBuilder.type

    Permalink

    The primary reference to Global instance of SigmaDsl.

    The primary reference to Global instance of SigmaDsl. Besides operations of SigmaDslBuilder class, this instance also contains methods, which are not available in Dsl code, and which are not in SigmaDslBuilder interface. For example methods like Box, toErgoBox are available here, but not available in Dsl.

    See also

    SigmaDslBuilder

  15. object Sized extends SizedLowPriority

    Permalink
  16. def TupleColl(items: Any*): Coll[Any]

    Permalink

    Constructor of tuple value with more than 2 items.

    Constructor of tuple value with more than 2 items. Such long tuples are represented as Coll[Any]. This representaion of tuples is different from representation of pairs (x, y), where Tuple2 type is used instead of Coll.

  17. object Zero extends ZeroLowPriority

    Permalink
  18. implicit def avlTreeDataToAvlTree(p: AvlTreeData): AvlTree

    Permalink
  19. implicit def avlTreeToAvlTreeData(p: AvlTree): AvlTreeData

    Permalink
  20. implicit def bigIntToBigInteger(bi: BigInt): BigInteger

    Permalink
  21. implicit def bigIntegerToBigInt(bi: BigInteger): BigInt

    Permalink

    Implicit conversions between Dsl type and the type wrapped by the corresponding type Dsl type.

    Implicit conversions between Dsl type and the type wrapped by the corresponding type Dsl type. Here BigInt is Dsl type and BigInteger is wrapped type.

    See also

    special.sigma.CBigInt

  22. implicit def boxToErgoBox(p: Box): ErgoBox

    Permalink
  23. implicit def ecPointToGroupElement(p: EcPointType): GroupElement

    Permalink
  24. implicit def ergoBoxToBox(p: ErgoBox): Box

    Permalink
  25. implicit def groupElementToECPoint(p: GroupElement): EcPointType

    Permalink
  26. implicit def sigmaBooleanToSigmaProp(p: SigmaBoolean): SigmaProp

    Permalink
  27. implicit def sigmaPropToSigmaBoolean(p: SigmaProp): SigmaBoolean

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped