Struct picky_asn1::wrapper::Implicit

pub struct Implicit<T>(pub T);

Wrapper for ASN.1 implicits (optionals) fields

Wrapped type has to implement the Default trait to be deserializable (on deserialization failure a default value is returned).

Examples:

use picky_asn1::wrapper::{Implicit, ApplicationTag0};
use serde::{Serialize, Deserialize};

#[derive(Serialize, Deserialize, Debug, PartialEq)]
struct MyWrapper(u8);

impl Default for MyWrapper {
    fn default() -> Self {
        Self(10)
    }
}

#[derive(Serialize, Deserialize, Debug, PartialEq)]
struct ComplexType {
    // skip if default to reduce encoded size
    #[serde(skip_serializing_if = "implicit_field_is_default")]
    optional_field: Implicit<MyWrapper>,
    // behind application tag 0 to distinguish from optional_field that is a ASN.1 integer too.
    explicit_field: ApplicationTag0<u8>,
}

fn implicit_field_is_default(wrapper: &Implicit<MyWrapper>) -> bool {
    wrapper.0 == MyWrapper::default()
}

let complex_type = ComplexType {
    optional_field: MyWrapper::default().into(),
    explicit_field: 5.into(),
};

let buffer = [
    0x30, 0x05, // sequence
    // optional field isn't present
    0xA0, 0x03, 0x02, 0x01, 0x05, // explicit field
];

let encoded = picky_asn1_der::to_vec(&complex_type).expect("couldn't serialize");
assert_eq!(
    encoded,
    buffer,
);

let decoded: ComplexType = picky_asn1_der::from_bytes(&buffer).expect("couldn't deserialize");
assert_eq!(
    decoded,
    complex_type,
);

Trait Implementations

impl<T: Clone> Clone for Implicit<T>

fn clone(&self) -> Implicit<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Implicit<T>

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

Formats the value using the given formatter.

impl<T> Deref for Implicit<T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<T> DerefMut for Implicit<T>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<'de, T> Deserialize<'de> for Implicit<T> where
    T: Deserialize<'de> + Default, 

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

Deserialize this value from the given Serde deserializer.

impl<T> From<T> for Implicit<T>

fn from(wrapped: T) -> Self

Performs the conversion.

impl<T: Hash> Hash for Implicit<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl<T: PartialEq> PartialEq<Implicit<T>> for Implicit<T>

fn eq(&self, other: &Implicit<T>) -> bool

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

fn ne(&self, other: &Implicit<T>) -> bool

This method tests for !=.

impl<T> PartialEq<T> for Implicit<T> where
    T: PartialEq, 

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

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<T: PartialOrd> PartialOrd<Implicit<T>> for Implicit<T>

fn partial_cmp(&self, other: &Implicit<T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Implicit<T>) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Implicit<T>) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Implicit<T>) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Implicit<T>) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T> Serialize for Implicit<T> where
    T: Serialize, 

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

Serialize this value into the given Serde serializer.

impl<T> StructuralPartialEq for Implicit<T>