Enum ergo_headless_dapp_framework::SType

pub enum SType {
    STypeVar(STypeVar),
    SAny,
    SBoolean,
    SByte,
    SShort,
    SInt,
    SLong,
    SBigInt,
    SGroupElement,
    SSigmaProp,
    SBox,
    SAvlTree,
    SOption(Box<SType, Global>),
    SColl(Box<SType, Global>),
    STup(Vec<SType, Global>),
    SFunc(Box<SFunc, Global>),
    SContext(SContext),
}

Every type descriptor is a tree represented by nodes in SType hierarchy.

Variants

STypeVar(STypeVar)

Type variable (generic)

SAny

TBD

SBoolean

Boolean

SByte

Signed byte

SShort

Signed short (16-bit)

SInt

Signed int (32-bit)

SLong

Signed long (64-bit)

SBigInt

256-bit integer

SGroupElement

Discrete logarithm prime-order group element EcPoint

SSigmaProp

Proposition which can be proven and verified by sigma protocol.

SBox

ErgoBox value

SAvlTree

AVL tree value

SOption(Box<SType, Global>)

Optional value

SColl(Box<SType, Global>)

Collection of elements of the same type

STup(Vec<SType, Global>)

Tuple (elements can have different types)

SFunc(Box<SFunc, Global>)

Function (signature)

SContext(SContext)

Context object ("CONTEXT" in ErgoScript)

Implementations

impl SType

pub fn type_code(&self) -> TypeCode

Type code used in serialization of SType values.

pub fn type_companion(&self) -> Option<Box<STypeCompanion, Global>>

Get STypeCompanion instance associated with this SType

pub fn new_scoll(elem_type: SType) -> SType

Create new SColl with the given element type

Trait Implementations

impl Clone for SType

pub fn clone(&self) -> SType

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SType

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Eq for SType

impl PartialEq<SType> for SType

pub fn eq(&self, other: &SType) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &SType) -> bool

This method tests for !=.

impl SigmaSerializable for SType

Each SType is serialized to array of bytes by:

• emitting typeCode of each node (see special case for collections below)
• then recursively serializing subtrees from left to right on each level
• for each collection of primitive type there is special type code to emit single byte instead of two bytes Types code intervals
• (1 .. MaxPrimTypeCode) // primitive types
• (CollectionTypeCode .. CollectionTypeCode + MaxPrimTypeCode) // collections of primitive types
• (MaxCollectionTypeCode ..) // Other types Collection of non-primitive type is serialized as (CollectionTypeCode, serialize(elementType))

pub fn sigma_serialize<W>(&self, w: &mut W) -> Result<(), Error> where
    W: SigmaByteWrite, 

Write self to the given writer. This function has a sigma_ prefix to alert the reader that the serialization in use is consensus-critical serialization
Notice that the error type is std::io::Error; this indicates that serialization MUST be infallible up to errors in the underlying writer. In other words, any type implementing SigmaSerializable must make illegal states unrepresentable.

pub fn sigma_parse<R>(r: &mut R) -> Result<SType, SerializationError> where
    R: SigmaByteRead, 

Try to read self from the given reader. sigma- prefix to alert the reader that the serialization in use is consensus-critical

pub fn sigma_serialize_bytes(&self) -> Vec<u8, Global>

Serialize any SigmaSerializable value into bytes

pub fn sigma_parse_bytes(
    bytes: Vec<u8, Global>
) -> Result<Self, SerializationError>

Parse self from the bytes

impl StructuralEq for SType

impl StructuralPartialEq for SType