Packages

  • package root
    Definition Classes
    root
  • package sigma

    The following implicit values are used as type descriptors of all the predefined Sigma types.

    The following implicit values are used as type descriptors of all the predefined Sigma types.

    Definition Classes
    root
    See also

    RType class

  • package data

    Contains cores definitions which serves as a basis for sigma package implementations.

  • package impl
  • package kiama

    Kiama is a Scala library for language processing.

    Kiama is a Scala library for language processing. It is a project of the Programming Languages Research Group at Macquarie University. For full project details see the web site http://github.com/inkytonik/kiama.

    Kiama's main components address tree decoration via attribute grammars (package attribution), tree transformation via strategic term rewriting (package rewriting), dynamic semantics (package machine) and pretty-printing (package output).

    The util package contains support modules for parsing, input/output, read-eval-print loops (REPLs) and pattern matching.

    The examples package (available as part of the Kiama tests) contains many examples of using Kiama to solve small to medium language processing problems.

  • package reflection

    Contains the Sigma Reflection API.

    Contains the Sigma Reflection API. Sigma reflection is a mechanism for obtaining metadata about classes, methods, fields, etc. at runtime. It is used by kiama to rewrite ErgoTree expressions. It is also used by the ErgoTree interpreter to implement MethodCall nodes.

    The Sigma Reflection API has two implementations: 1) based on the Java Reflection API 2) based on Sigma Reflection metadata declared in the StaticImpl.scala file

  • package util
  • package wrappers
  • AnyValue
  • AvlTree
  • BigInt
  • Box
  • Coll
  • CollBuilder
  • Colls
  • CollsModule
  • Context
  • Environment
  • Extensions
  • GroupElement
  • Header
  • PairColl
  • PreHeader
  • RuntimePlatform
  • SigmaContract
  • SigmaDsl
  • SigmaDslBuilder
  • SigmaDslModule
  • SigmaProp
  • VersionContext
p

sigma

package sigma

The following implicit values are used as type descriptors of all the predefined Sigma types.

See also

RType class

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

Type Members

  1. trait AnyValue extends AnyRef

    Represents any value paired with type descriptor.

  2. trait AvlTree extends AnyRef

    Type of data which efficiently authenticates potentially huge dataset having key-value dictionary interface.

    Type of data which efficiently authenticates potentially huge dataset having key-value dictionary interface. Only root hash of dynamic AVL+ tree, tree height, key length, optional value length, and access flags are stored in an instance of the datatype.

    Please note that standard hash function from scorex.crypto.hash is used, and height is stored along with root hash of the tree, thus digest size is always CryptoConstants.hashLength + 1 bytes.

    This interface is used as runtime representation of the AvlTree type of ErgoTree.

  3. trait BigInt extends AnyRef

    All modQ operations assume that Q is a global constant (an order of the only one cryptographically strong group which is used for all cryptographic operations).

    All modQ operations assume that Q is a global constant (an order of the only one cryptographically strong group which is used for all cryptographic operations). So it is globally and implicitly used in all methods.

  4. trait Box extends AnyRef

    Runtime representation of Ergo boxes used during execution of ErgoTree operations.

    Runtime representation of Ergo boxes used during execution of ErgoTree operations.

    See also

    org.ergoplatform.ErgoBox

  5. trait Coll[A] extends AnyRef

    Indexed (zero-based) collection of elements of type A.

    Indexed (zero-based) collection of elements of type A. NOTE: declaring it abstract class makes some performance benefits, but doesn't work well with specialization.

  6. trait CollBuilder extends AnyRef

    Interface to access global collection methods.

    Interface to access global collection methods. See default implementation in CollOverArrayBuilder.

  7. trait Colls extends Base

    Staged version of collection interfaces which is used in graph-based IR to represent methods of Coll and CollBuilder.

    Staged version of collection interfaces which is used in graph-based IR to represent methods of Coll and CollBuilder. Each method of Coll and CollBuilder in Colls corresponds to a method of the original non-staged class sigma.Coll and sigma.CollBuilder. The semantics of each method is the same as in the original class, please look there for details.

  8. trait CollsModule extends Scalan with CollsDefs
  9. trait Context extends AnyRef

    Runtime representation of Context ErgoTree type.

    Runtime representation of Context ErgoTree type. Represents data available in Sigma language using CONTEXT global variable.

  10. sealed abstract class Environment extends AnyRef

    Describes the current execution environment.

  11. trait GroupElement extends AnyRef

    Base class for points on elliptic curves.

  12. trait Header extends AnyRef

    Represents data of the block header available in Sigma propositions.

  13. trait PairColl[L, R] extends Coll[(L, R)]

    Base trait for specialized (Structure-Of-Arrays) representation of collection of pairs (i.e.

    Base trait for specialized (Structure-Of-Arrays) representation of collection of pairs (i.e. Coll[(A, B)]). Some instances of Coll[(A, B)] may be instances of this trait, but it is NOT guaranteed, since some of them may be instances of CollOverArray[(A, B)].

  14. trait PreHeader extends AnyRef

    Only header fields that can be predicted by a miner.

  15. sealed trait RuntimePlatform extends AnyRef

    Descriptor of a runtime platform.

    Descriptor of a runtime platform. Can be used to conditionally execute code.

  16. trait SigmaContract extends AnyRef

    Shortcut declarations for methods of global object (aka SigmaDslBuilder).

    Shortcut declarations for methods of global object (aka SigmaDslBuilder). Every methods delegates to the corresponding method of builder, look there for details.

  17. trait SigmaDsl extends Base
  18. trait SigmaDslBuilder extends AnyRef

    Runtime representation of SGlobal ErgoTree type.

    Runtime representation of SGlobal ErgoTree type. The only instance of SGlobal type can be referenced as Global variable in ErgoScript. It is represented as org.ergoplatform.Global node of ErgoTree, which evaluates to the default singleton instance of this interface.

    CostingSigmaDslBuilder object serves as the default singleton instance of Global object, which implements global ErgoTree functions.

    See also

    SGlobal.WrappedType, CostingSigmaDslBuilder

  19. trait SigmaDslModule extends Scalan with SigmaDslDefs
  20. trait SigmaProp extends AnyRef

    Proposition which can be proven and verified by sigma protocol.

  21. type TupleData = Coll[Any]

    Generic representation of tuples values.

  22. case class VersionContext(activatedVersion: Byte, ergoTreeVersion: Byte) extends Product with Serializable

    Represent currently activated protocol version and currently executed ErgoTree version.

    Represent currently activated protocol version and currently executed ErgoTree version.

    This parameters, once set in DynamicVariable can be accessed everywhere on the current thread.

    activatedVersion

    Currently activated script version == Block.headerVersion - 1

    ergoTreeVersion

    version of the currently executed ErgoTree

Value Members

  1. val AnyType: RType[Any]
  2. implicit val AnyValueRType: RType[AnyValue]
  3. implicit val AvlTreeRType: RType[AvlTree]
  4. implicit val BigIntRType: RType[BigInt]
  5. implicit val BooleanType: RType[Boolean]
  6. implicit val BoxRType: RType[Box]
  7. implicit val ByteType: RType[Byte]
  8. val Colls: CollBuilder

    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

  9. implicit val ContextRType: RType[Context]
  10. implicit val GroupElementRType: RType[GroupElement]
  11. implicit val HeaderRType: RType[Header]
  12. implicit val IntType: RType[Int]
  13. implicit val LongType: RType[Long]
  14. implicit val PreHeaderRType: RType[PreHeader]
  15. implicit val ShortType: RType[Short]
  16. implicit val SigmaDslBuilderRType: RType[SigmaDslBuilder]
  17. implicit val SigmaPropRType: RType[SigmaProp]
  18. implicit val StringType: RType[String]
  19. implicit val UnitType: RType[Unit]
  20. implicit val collBuilderRType: RType[CollBuilder]
  21. implicit def collRType[A](implicit tA: RType[A]): RType[Coll[A]]

    Implicit resolution of Coll[A] type descriptor, given a descriptor of A.

  22. def requireSameLength[A, B](xs: Coll[A], ys: Coll[B]): Unit
  23. implicit def rtypeToClassTag[A](implicit t: RType[A]): ClassTag[A]

    Allows implicit resolution to find appropriate instance of ClassTag in the scope where RType is implicitly available.

    Allows implicit resolution to find appropriate instance of ClassTag in the scope where RType is implicitly available. NOTE, this implicit is shadowed internally in some places (search for def rtypeToClassTag), hence renaming it requires changing of the shadowing methods.

  24. def tupleRType(types: Array[SomeType]): RType[TupleData]

    Returns an RType object representing a tuple type with the given SomeType array types.

    Returns an RType object representing a tuple type with the given SomeType array types.

    types

    An array of SomeType representing the types of each item in the tuple.

    returns

    An RType object for the tuple type.

  25. object Environment
  26. object Extensions
  27. object RuntimePlatform
  28. object VersionContext extends Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped