Struct ergotree_interpreter::sigma_protocol::prover::ContextExtension

pub struct ContextExtension {
    pub values: IndexMap<u8, Constant>,
}

User-defined variables to be put into context

Fields

values: IndexMap<u8, Constant>

key-value pairs of variable id and it’s value

Implementations

impl ContextExtension

pub fn empty() -> Self

Returns an empty ContextExtension

Trait Implementations

impl Clone for ContextExtension

fn clone(&self) -> ContextExtension

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ContextExtension

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

Formats the value using the given formatter.

impl Eq for ContextExtension

impl PartialEq<ContextExtension> for ContextExtension

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

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

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

This method tests for !=.

impl SigmaSerializable for ContextExtension

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

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.

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

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 ContextExtension

impl StructuralPartialEq for ContextExtension

impl TryFrom<HashMap<String, String, RandomState>> for ContextExtension

type Error = ConstantParsingError

The type returned in the event of a conversion error.

fn try_from(values_str: HashMap<String, String>) -> Result<Self, Self::Error>

Performs the conversion.