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 ast
    Definition Classes
    sigma
  • package crypto
    Definition Classes
    sigma
  • package data

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

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

    Definition Classes
    sigma
  • package eval
    Definition Classes
    sigma
  • package exceptions
    Definition Classes
    sigma
  • package impl
    Definition Classes
    sigma
  • package interpreter
    Definition Classes
    sigma
  • 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.

    Definition Classes
    sigma
  • 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

    Definition Classes
    sigma
  • package serialization
    Definition Classes
    sigma
  • package util
    Definition Classes
    sigma
  • package utils
    Definition Classes
    sigma
  • package validation
    Definition Classes
    sigma
  • package wrappers
    Definition Classes
    sigma
  • AnyValue
  • AvlTree
  • BigInt
  • Box
  • Coll
  • CollBuilder
  • Colls
  • CollsModule
  • Context
  • Environment
  • Evaluation
  • Extensions
  • GroupElement
  • Header
  • PairColl
  • Platform
  • PreHeader
  • RuntimePlatform
  • SigmaContract
  • SigmaDataReflection
  • SigmaDsl
  • SigmaDslBuilder
  • SigmaDslModule
  • SigmaException
  • SigmaProp
  • VersionContext
t

sigma

SigmaContract

trait SigmaContract extends AnyRef

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

Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SigmaContract
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def builder: SigmaDslBuilder

    Returns Global instance (aka Builder) which implements all global operations.

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def Collection[T](items: T*)(implicit cT: RType[T]): Coll[T]
  5. def allOf(conditions: Coll[Boolean]): Boolean
  6. def allZK(conditions: Coll[SigmaProp]): SigmaProp
  7. def anyOf(conditions: Coll[Boolean]): Boolean
  8. def anyZK(conditions: Coll[SigmaProp]): SigmaProp
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def atLeast(bound: Int, props: Coll[SigmaProp]): SigmaProp

    !!! all methods should delegate to builder

  11. def blake2b256(bytes: Coll[Byte]): Coll[Byte]
  12. def byteArrayToBigInt(bytes: Coll[Byte]): BigInt
  13. def byteArrayToLong(bytes: Coll[Byte]): Long
  14. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  15. def decodePoint(encoded: Coll[Byte]): GroupElement
  16. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  18. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  19. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. def groupGenerator: GroupElement
  21. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. def longToByteArray(l: Long): Coll[Byte]
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. def proveDHTuple(g: GroupElement, h: GroupElement, u: GroupElement, v: GroupElement): SigmaProp
  28. def proveDlog(g: GroupElement): SigmaProp
  29. def sha256(bytes: Coll[Byte]): Coll[Byte]
  30. def sigmaProp(b: Boolean): SigmaProp
  31. def substConstants[T](scriptBytes: Coll[Byte], positions: Coll[Int], newValues: Coll[T]): Coll[Byte]
  32. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  33. def toString(): String
    Definition Classes
    AnyRef → Any
  34. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  35. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  36. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  37. def xorOf(conditions: Coll[Boolean]): Boolean

Inherited from AnyRef

Inherited from Any

Ungrouped