Trait zvariant::Type

source ·
pub trait Type {
    // Required method
    fn signature() -> Signature<'static>;
}
Expand description

Trait implemented by all serializable types.

This very simple trait provides the signature for the implementing type. Since the D-Bus type system relies on these signatures, our serialization and deserialization API requires this trait in addition to Serialize and Deserialize, respectively.

Implementation is provided for all the basic types and blanket implementations for common container types, such as, arrays, slices, tuples, Vec and HashMap. For easy implementation for custom types, use Type derive macro from zvariant_derive crate.

If your type’s signature cannot be determined statically, you should implement the DynamicType trait instead, which is otherwise automatically implemented if you implement this trait.

Required Methods§

source

fn signature() -> Signature<'static>

Get the signature for the implementing type.

§Example
use std::collections::HashMap;
use zvariant::Type;

assert_eq!(u32::signature(), "u");
assert_eq!(String::signature(), "s");
assert_eq!(<(u32, &str, u64)>::signature(), "(ust)");
assert_eq!(<(u32, &str, &[u64])>::signature(), "(usat)");
assert_eq!(<HashMap<u8, &str>>::signature(), "a{ys}");

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl Type for IpAddr

source§

fn signature() -> Signature<'static>

source§

impl Type for bool

source§

fn signature() -> Signature<'static>

source§

impl Type for char

source§

fn signature() -> Signature<'static>

source§

impl Type for f32

source§

fn signature() -> Signature<'static>

source§

impl Type for f64

source§

fn signature() -> Signature<'static>

source§

impl Type for i8

source§

fn signature() -> Signature<'static>

source§

impl Type for i16

source§

fn signature() -> Signature<'static>

source§

impl Type for i32

source§

fn signature() -> Signature<'static>

source§

impl Type for i64

source§

fn signature() -> Signature<'static>

source§

impl Type for str

source§

fn signature() -> Signature<'static>

source§

impl Type for u8

source§

fn signature() -> Signature<'static>

source§

impl Type for u16

source§

fn signature() -> Signature<'static>

source§

impl Type for u32

source§

fn signature() -> Signature<'static>

source§

impl Type for u64

source§

fn signature() -> Signature<'static>

source§

impl Type for ()

source§

fn signature() -> Signature<'static>

source§

impl Type for String

source§

fn signature() -> Signature<'static>

source§

impl Type for Ipv4Addr

source§

fn signature() -> Signature<'static>

source§

impl Type for Ipv6Addr

source§

fn signature() -> Signature<'static>

source§

impl Type for Duration

source§

fn signature() -> Signature<'static>

source§

impl Type for Path

source§

fn signature() -> Signature<'static>

source§

impl Type for PathBuf

source§

fn signature() -> Signature<'static>

source§

impl Type for SystemTime

source§

fn signature() -> Signature<'static>

source§

impl Type for NonZeroI8

source§

fn signature() -> Signature<'static>

source§

impl Type for NonZeroI16

source§

fn signature() -> Signature<'static>

source§

impl Type for NonZeroI32

source§

fn signature() -> Signature<'static>

source§

impl Type for NonZeroI64

source§

fn signature() -> Signature<'static>

source§

impl Type for NonZeroU8

source§

fn signature() -> Signature<'static>

source§

impl Type for NonZeroU16

source§

fn signature() -> Signature<'static>

source§

impl Type for NonZeroU32

source§

fn signature() -> Signature<'static>

source§

impl Type for NonZeroU64

source§

fn signature() -> Signature<'static>

source§

impl<F> Type for BitFlags<F>
where F: Type + BitFlag,

source§

fn signature() -> Signature<'static>

source§

impl<K, V> Type for BTreeMap<K, V>
where K: Type + Ord, V: Type,

source§

fn signature() -> Signature<'static>

source§

impl<K, V, H> Type for HashMap<K, V, H>
where K: Type + Eq + Hash, V: Type, H: BuildHasher,

source§

fn signature() -> Signature<'static>

source§

impl<T0> Type for (T0,)
where T0: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1> Type for (T0, T1)
where T0: Type, T1: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2> Type for (T0, T1, T2)
where T0: Type, T1: Type, T2: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3> Type for (T0, T1, T2, T3)
where T0: Type, T1: Type, T2: Type, T3: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4> Type for (T0, T1, T2, T3, T4)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4, T5> Type for (T0, T1, T2, T3, T4, T5)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type, T5: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4, T5, T6> Type for (T0, T1, T2, T3, T4, T5, T6)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type, T5: Type, T6: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4, T5, T6, T7> Type for (T0, T1, T2, T3, T4, T5, T6, T7)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type, T5: Type, T6: Type, T7: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> Type for (T0, T1, T2, T3, T4, T5, T6, T7, T8)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type, T5: Type, T6: Type, T7: Type, T8: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> Type for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type, T5: Type, T6: Type, T7: Type, T8: Type, T9: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> Type for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type, T5: Type, T6: Type, T7: Type, T8: Type, T9: Type, T10: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> Type for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type, T5: Type, T6: Type, T7: Type, T8: Type, T9: Type, T10: Type, T11: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> Type for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type, T5: Type, T6: Type, T7: Type, T8: Type, T9: Type, T10: Type, T11: Type, T12: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> Type for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type, T5: Type, T6: Type, T7: Type, T8: Type, T9: Type, T10: Type, T11: Type, T12: Type, T13: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> Type for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type, T5: Type, T6: Type, T7: Type, T8: Type, T9: Type, T10: Type, T11: Type, T12: Type, T13: Type, T14: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> Type for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)
where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type, T5: Type, T6: Type, T7: Type, T8: Type, T9: Type, T10: Type, T11: Type, T12: Type, T13: Type, T14: Type, T15: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T> Type for [T]
where T: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T> Type for Vec<T>
where T: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T> Type for PhantomData<T>
where T: Type + ?Sized,

source§

fn signature() -> Signature<'static>

source§

impl<T, S> Type for HashSet<T, S>
where T: Type + Eq + Hash, S: BuildHasher,

source§

fn signature() -> Signature<'static>

source§

impl<T, const N: usize> Type for [T; N]
where T: Type,

source§

fn signature() -> Signature<'static>

source§

impl<T: ?Sized + Type + ToOwned> Type for Cow<'_, T>

source§

fn signature() -> Signature<'static>

source§

impl<T: ?Sized + Type> Type for &T

source§

fn signature() -> Signature<'static>

source§

impl<T: ?Sized + Type> Type for &mut T

source§

fn signature() -> Signature<'static>

source§

impl<T: ?Sized + Type> Type for Box<T>

source§

fn signature() -> Signature<'static>

source§

impl<T: ?Sized + Type> Type for Rc<T>

source§

fn signature() -> Signature<'static>

source§

impl<T: ?Sized + Type> Type for Arc<T>

source§

fn signature() -> Signature<'static>

source§

impl<T: ?Sized + Type> Type for Mutex<T>

source§

fn signature() -> Signature<'static>

source§

impl<T: ?Sized + Type> Type for RwLock<T>

source§

fn signature() -> Signature<'static>

Implementors§

source§

impl Type for Fd

source§

impl Type for OwnedFd

source§

impl Type for OwnedObjectPath

source§

impl Type for OwnedSignature

source§

impl Type for OwnedValue

source§

impl<'a> Type for Value<'a>

source§

impl<'a> Type for ObjectPath<'a>

source§

impl<'a> Type for Signature<'a>

source§

impl<'a> Type for Str<'a>

source§

impl<'a, T: Type + Serialize> Type for SerializeValue<'a, T>

source§

impl<'de, T: Type + Deserialize<'de>> Type for DeserializeValue<'de, T>

source§

impl<T> Type for Optional<T>
where T: Type,