Enum ergotree_ir::sigma_protocol::sigma_boolean::SigmaBoolean

pub enum SigmaBoolean {
    TrivialProp(bool),
    ProofOfKnowledge(SigmaProofOfKnowledgeTree),
    SigmaConjecture(SigmaConjecture),
}

Expand description

Algebraic data type of sigma proposition expressions Values of this type are used as values of SigmaProp type

Variants§

TrivialProp(bool)

Represents boolean values (true/false)

ProofOfKnowledge(SigmaProofOfKnowledgeTree)

Sigma proposition

SigmaConjecture(SigmaConjecture)

Conjunctions for sigma propositions

Trait Implementations§

impl Clone for SigmaBoolean

fn clone(&self) -> SigmaBoolean

Returns a copy of the value. Read more

1.0.0 · source§

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

Performs copy-assignment from source. Read more

impl Debug for SigmaBoolean

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

Formats the value using the given formatter. Read more

impl<'de> Deserialize<'de> for SigmaBoolean

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

impl From<Cand> for SigmaBoolean

fn from(v: Cand) -> Self

Converts to this type from the input type.

impl From<Cor> for SigmaBoolean

fn from(v: Cor) -> Self

Converts to this type from the input type.

impl From<Cthreshold> for SigmaBoolean

fn from(v: Cthreshold) -> Self

Converts to this type from the input type.

impl From<ProveDhTuple> for SigmaBoolean

fn from(v: ProveDhTuple) -> Self

Converts to this type from the input type.

impl From<ProveDlog> for SigmaBoolean

fn from(v: ProveDlog) -> Self

Converts to this type from the input type.

impl From<SigmaBoolean> for Constant

fn from(sb: SigmaBoolean) -> Self

Converts to this type from the input type.

impl From<SigmaBoolean> for SigmaProp

fn from(original: SigmaBoolean) -> SigmaProp

Converts to this type from the input type.

impl From<SigmaConjecture> for SigmaBoolean

fn from(original: SigmaConjecture) -> SigmaBoolean

Converts to this type from the input type.

impl From<SigmaProofOfKnowledgeTree> for SigmaBoolean

fn from(original: SigmaProofOfKnowledgeTree) -> SigmaBoolean

Converts to this type from the input type.

impl From<SigmaProp> for SigmaBoolean

fn from(original: SigmaProp) -> Self

Converts to this type from the input type.

impl From<bool> for SigmaBoolean

fn from(original: bool) -> SigmaBoolean

Converts to this type from the input type.

impl LiftIntoSType for SigmaBoolean

fn stype() -> SType

get SType

impl PartialEq<SigmaBoolean> for SigmaBoolean

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

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

1.0.0 · source§

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for SigmaBoolean

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>where S: Serializer,

Serialize this value into the given Serde serializer. Read more

impl SigmaSerializable for SigmaBoolean

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

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

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

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

fn sigma_serialize_bytes(&self) -> Result<Vec<u8>, SigmaSerializationError>

Serialize any SigmaSerializable value into bytes

fn sigma_parse_bytes(bytes: &[u8]) -> Result<Self, SigmaParsingError>

Parse self from the bytes

impl TryFrom<SigmaBoolean> for SigmaConjecture

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: SigmaBoolean) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SigmaBoolean> for SigmaProofOfKnowledgeTree

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: SigmaBoolean) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SigmaBoolean> for bool

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: SigmaBoolean) -> Result<Self, Self::Error>

Performs the conversion.

impl TryInto<Cand> for SigmaBoolean

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Cand, Self::Error>

Performs the conversion.

impl TryInto<Cor> for SigmaBoolean

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Cor, Self::Error>

Performs the conversion.

impl TryInto<Cthreshold> for SigmaBoolean

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Cthreshold, Self::Error>

Performs the conversion.

impl TryInto<ProveDhTuple> for SigmaBoolean

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_into(self) -> Result<ProveDhTuple, Self::Error>

Performs the conversion.

impl TryInto<ProveDlog> for SigmaBoolean

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_into(self) -> Result<ProveDlog, Self::Error>

Performs the conversion.

impl Eq for SigmaBoolean

impl StructuralEq for SigmaBoolean

impl StructuralPartialEq for SigmaBoolean

Auto Trait Implementations§

impl RefUnwindSafe for SigmaBoolean

impl Send for SigmaBoolean

impl Sync for SigmaBoolean

impl Unpin for SigmaBoolean

impl UnwindSafe for SigmaBoolean

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> Conv for T

fn conv<T>(self) -> Twhere Self: Into<T>,

Converts self into T using Into<T>. Read more

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> FmtForward for T

fn fmt_binary(self) -> FmtBinary<Self>where Self: Binary,

Causes self to use its Binary implementation when Debug-formatted.

fn fmt_display(self) -> FmtDisplay<Self>where Self: Display,

Causes self to use its Display implementation when Debug-formatted.

fn fmt_lower_exp(self) -> FmtLowerExp<Self>where Self: LowerExp,

Causes self to use its LowerExp implementation when Debug-formatted.

fn fmt_lower_hex(self) -> FmtLowerHex<Self>where Self: LowerHex,

Causes self to use its LowerHex implementation when Debug-formatted.

fn fmt_octal(self) -> FmtOctal<Self>where Self: Octal,

Causes self to use its Octal implementation when Debug-formatted.

fn fmt_pointer(self) -> FmtPointer<Self>where Self: Pointer,

Causes self to use its Pointer implementation when Debug-formatted.

fn fmt_upper_exp(self) -> FmtUpperExp<Self>where Self: UpperExp,

Causes self to use its UpperExp implementation when Debug-formatted.

fn fmt_upper_hex(self) -> FmtUpperHex<Self>where Self: UpperHex,

Causes self to use its UpperHex implementation when Debug-formatted.

fn fmt_list(self) -> FmtList<Self>where &'a Self: for<'a> IntoIterator,

Formats each item in a sequence. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Pipe for Twhere T: ?Sized,

fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere Self: Sized,

Pipes by value. This is generally the method you want to use. Read more

fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere R: 'a,

Borrows self and passes that borrow into the pipe function. Read more

fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere R: 'a,

Mutably borrows self and passes that borrow into the pipe function. Read more

fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> Rwhere Self: Borrow<B>, B: 'a + ?Sized, R: 'a,

Borrows self, then passes self.borrow() into the pipe function. Read more

fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R ) -> Rwhere Self: BorrowMut<B>, B: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.borrow_mut() into the pipe function. Read more

fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> Rwhere Self: AsRef<U>, U: 'a + ?Sized, R: 'a,

Borrows self, then passes self.as_ref() into the pipe function.

fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> Rwhere Self: AsMut<U>, U: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.as_mut() into the pipe function.

fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> Rwhere Self: Deref<Target = T>, T: 'a + ?Sized, R: 'a,

Borrows self, then passes self.deref() into the pipe function.

fn pipe_deref_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R ) -> Rwhere Self: DerefMut<Target = T> + Deref, T: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.deref_mut() into the pipe function.

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> Tap for T

fn tap(self, func: impl FnOnce(&Self)) -> Self

Immutable access to a value. Read more

fn tap_mut(self, func: impl FnOnce(&mut Self)) -> Self

Mutable access to a value. Read more

fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Selfwhere Self: Borrow<B>, B: ?Sized,

Immutable access to the Borrow<B> of a value. Read more

fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere Self: BorrowMut<B>, B: ?Sized,

Mutable access to the BorrowMut<B> of a value. Read more

fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Selfwhere Self: AsRef<R>, R: ?Sized,

Immutable access to the AsRef<R> view of a value. Read more

fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere Self: AsMut<R>, R: ?Sized,

Mutable access to the AsMut<R> view of a value. Read more

fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Selfwhere Self: Deref<Target = T>, T: ?Sized,

Immutable access to the Deref::Target of a value. Read more

fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Selfwhere Self: DerefMut<Target = T> + Deref, T: ?Sized,

Mutable access to the Deref::Target of a value. Read more

fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self

Calls .tap() only in debug builds, and is erased in release builds.

fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self

Calls .tap_mut() only in debug builds, and is erased in release builds.

fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Selfwhere Self: Borrow<B>, B: ?Sized,

Calls .tap_borrow() only in debug builds, and is erased in release builds.

fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere Self: BorrowMut<B>, B: ?Sized,

Calls .tap_borrow_mut() only in debug builds, and is erased in release builds.

fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Selfwhere Self: AsRef<R>, R: ?Sized,

Calls .tap_ref() only in debug builds, and is erased in release builds.

fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere Self: AsMut<R>, R: ?Sized,

Calls .tap_ref_mut() only in debug builds, and is erased in release builds.

fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Selfwhere Self: Deref<Target = T>, T: ?Sized,

Calls .tap_deref() only in debug builds, and is erased in release builds.

fn tap_deref_mut_dbg<T>(self, func: impl FnOnce(&mut T)) -> Selfwhere Self: DerefMut<Target = T> + Deref, T: ?Sized,

Calls .tap_deref_mut() only in debug builds, and is erased in release builds.

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> TryConv for T

fn try_conv<T>(self) -> Result<T, Self::Error>where Self: TryInto<T>,

Attempts to convert self into T using TryInto<T>. Read more

impl<F> TryExtractInto<F> for F

fn try_extract_into<T>(self) -> Result<T, TryExtractFromError>where T: TryExtractFrom<F>,

Extract value of the given type from any type (e.g. [‘Constant’], super::value::Value) on which TryExtractFrom is implemented

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,