Object

sigma.ast

syntax

Related Doc: package ast

Permalink

object syntax

Contains global definitions which define syntactic extensions for working with classes of sigma.ast package.

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

Type Members

  1. type AvlTreeConstant = Constant[SAvlTree.type]

    Permalink

  2. type AvlTreeValue = Value[SAvlTree.type]

    Permalink

  3. type BigIntConstant = Constant[SBigInt.type]

    Permalink

  4. type BigIntValue = Value[SBigInt.type]

    Permalink

  5. type BoolValue = Value[SBoolean.type]

    Permalink

  6. type BooleanConstant = Constant[SBoolean.type]

    Permalink

  7. type BoxConstant = Constant[SBox.type]

    Permalink

  8. type BoxValue = Value[SBox.type]

    Permalink

  9. type ByteConstant = Constant[SByte.type]

    Permalink

  10. type ByteValue = Value[SByte.type]

    Permalink

  11. type CollectionConstant[T <: SType] = Constant[SCollection[T]]

    Permalink

  12. implicit final class CollectionOps[T <: SType] extends AnyVal

    Permalink

    Methods to work with tree nodes of SCollection type.

  13. type CollectionValue[T <: SType] = Value[SCollection[T]]

    Permalink

  14. type GroupElementConstant = Constant[SGroupElement.type]

    Permalink

  15. type GroupElementValue = Value[SGroupElement.type]

    Permalink

  16. type IntConstant = Constant[SInt.type]

    Permalink

  17. type IntValue = Value[SInt.type]

    Permalink

  18. type LongConstant = Constant[SLong.type]

    Permalink

  19. type LongValue = Value[SLong.type]

    Permalink

  20. implicit final class OptionValueOps[T <: SType] extends AnyVal

    Permalink

    Methods to work with tree nodes of SSigmaProp type.

  21. type SAnyValue = Value[SAny.type]

    Permalink

  22. type SValue = Value[SType]

    Permalink

    The following type synonyms are used throughout the codebase to simplify type annotations.

  23. type ShortConstant = Constant[SShort.type]

    Permalink

  24. type ShortValue = Value[SShort.type]

    Permalink

  25. type SigmaPropConstant = Constant[SSigmaProp.type]

    Permalink

  26. type SigmaPropValue = Value[SSigmaProp.type]

    Permalink

  27. implicit final class SigmaPropValueOps extends AnyVal

    Permalink

    Methods to work with tree nodes of SSigmaProp type.

  28. type StringConstant = Constant[SString.type]

    Permalink

  29. implicit final class ValueOps extends AnyVal

    Permalink

    Type casting methods for Value nodes.

    Type casting methods for Value nodes. Each asX method casts the value to the corresponding X type of node. No runtime checks are performed, so the caller should ensure that the value has the expected type.

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. implicit val AvlTreeDataRType: RType[AvlTreeData]

    Permalink

  5. implicit val ErgoBoxCandidateRType: RType[ErgoBoxCandidate]

    Permalink

  6. implicit val ErgoBoxRType: RType[ErgoBox]

    Permalink

    RType descriptors for predefined types used in AOTC-based interpreter.

  7. val FalseSigmaProp: Constant[SSigmaProp.type]

    Permalink

    Sigma proposition with trivial false proposition.

  8. def GetVarBigInt(varId: Byte): GetVar[SBigInt.type]

    Permalink

  9. def GetVarBoolean(varId: Byte): GetVar[SBoolean.type]

    Permalink

  10. def GetVarBox(varId: Byte): GetVar[SBox.type]

    Permalink

  11. def GetVarByte(varId: Byte): GetVar[SByte.type]

    Permalink

  12. def GetVarByteArray(varId: Byte): GetVar[SCollection[SByte.type]]

    Permalink

  13. def GetVarInt(varId: Byte): GetVar[SInt.type]

    Permalink

  14. def GetVarIntArray(varId: Byte): GetVar[SCollection[SInt.type]]

    Permalink

  15. def GetVarLong(varId: Byte): GetVar[SLong.type]

    Permalink

  16. def GetVarShort(varId: Byte): GetVar[SShort.type]

    Permalink

  17. def GetVarSigmaProp(varId: Byte): GetVar[SSigmaProp.type]

    Permalink

  18. val TrueSigmaProp: Constant[SSigmaProp.type]

    Permalink

    Sigma proposition with trivial true proposition.

  19. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  20. implicit def boolToSigmaProp(b: BoolValue): SigmaPropValue

    Permalink

  21. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  22. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  23. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  24. def error(msg: String): Nothing

    Permalink

    Helper method to throw errors from Interpreter.

  25. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  26. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  27. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  28. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  29. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  30. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  31. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  32. val reflection: SigmaDataReflection.type

    Permalink

    Force initialization of reflection.

  33. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  34. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  35. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  36. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  37. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped