pub enum DbcProof {
Tapret(TapretProof),
Opret(OpretProof),
}Variants§
Tapret(TapretProof)
Opret(OpretProof)
Trait Implementations§
Source§impl<'de> Deserialize<'de> for DbcProof
impl<'de> Deserialize<'de> for DbcProof
Source§fn deserialize<__D>(
__deserializer: __D,
) -> Result<DbcProof, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(
__deserializer: __D,
) -> Result<DbcProof, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl From<OpretProof> for DbcProof
impl From<OpretProof> for DbcProof
Source§fn from(v: OpretProof) -> DbcProof
fn from(v: OpretProof) -> DbcProof
Converts to this type from the input type.
Source§impl From<TapretProof> for DbcProof
impl From<TapretProof> for DbcProof
Source§fn from(v: TapretProof) -> DbcProof
fn from(v: TapretProof) -> DbcProof
Converts to this type from the input type.
Source§impl Serialize for DbcProof
impl Serialize for DbcProof
Source§fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
Serialize this value into the given Serde serializer. Read more
Source§impl StrictDecode for DbcProof
impl StrictDecode for DbcProof
fn strict_decode(reader: &mut impl TypedRead) -> Result<DbcProof, DecodeError>
fn strict_read(reader: impl ReadRaw) -> Result<Self, DecodeError>
Source§impl StrictDeserialize for DbcProof
impl StrictDeserialize for DbcProof
fn from_strict_serialized<const MAX: usize>( ast_data: Confined<Vec<u8>, 0, MAX>, ) -> Result<Self, DeserializeError>
fn strict_deserialize_from_file<const MAX: usize>( path: impl AsRef<Path>, ) -> Result<Self, DeserializeError>
Source§impl StrictDumb for DbcProof
impl StrictDumb for DbcProof
fn strict_dumb() -> DbcProof
Source§impl StrictEncode for DbcProof
impl StrictEncode for DbcProof
fn strict_encode<W>(&self, writer: W) -> Result<W, Error>where
W: TypedWrite,
fn strict_write(&self, writer: impl WriteRaw) -> Result<(), Error>
Source§impl StrictSerialize for DbcProof
impl StrictSerialize for DbcProof
fn strict_serialized_len<const MAX: usize>(&self) -> Result<usize, Error>
fn to_strict_serialized<const MAX: usize>( &self, ) -> Result<Confined<Vec<u8>, 0, MAX>, SerializeError>
fn strict_serialize_to_file<const MAX: usize>( &self, path: impl AsRef<Path>, ) -> Result<(), SerializeError>
Source§impl StrictSum for DbcProof
impl StrictSum for DbcProof
const ALL_VARIANTS: &'static [(u8, &'static str)]
fn variant_name(&self) -> &'static str
fn strict_check_variants()
fn variant_name_by_tag(tag: u8) -> Option<VariantName>
fn variant_ord(&self) -> u8
Source§impl StrictType for DbcProof
impl StrictType for DbcProof
const STRICT_LIB_NAME: &'static str = LIB_NAME_RGB_LOGIC
fn strict_name() -> Option<TypeName>
Source§impl StrictUnion for DbcProof
impl StrictUnion for DbcProof
fn strict_type_info() -> TypeInfo<Self>
impl Eq for DbcProof
impl StructuralPartialEq for DbcProof
Auto Trait Implementations§
impl Freeze for DbcProof
impl RefUnwindSafe for DbcProof
impl Send for DbcProof
impl Sync for DbcProof
impl Unpin for DbcProof
impl UnwindSafe for DbcProof
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.