Trait Type 

pub trait Type {
    const SIGNATURE: &'static Signature;
}

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 serde::Serialize and serde::de::Deserialize, respectively.

Implementation is provided for all the basic types and blanket implementations for common container types, such as, arrays, slices, tuples, Vec and std::collections::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 Associated Constants

const SIGNATURE: &'static Signature

The signature for the implementing type, in parsed format.

Example

use std::collections::HashMap;
use zvariant::{Type, signature::{Child, Signature}};

assert_eq!(u32::SIGNATURE, &Signature::U32);
assert_eq!(String::SIGNATURE, &Signature::Str);
assert_eq!(
    <(u32, &str, u64)>::SIGNATURE,
    &Signature::static_structure(&[&Signature::U32, &Signature::Str, &Signature::U64]),
);
assert_eq!(
    <(u32, &str, &[u64])>::SIGNATURE,
    &Signature::static_structure(&[
        &Signature::U32,
        &Signature::Str,
        &Signature::Array(Child::Static { child: &Signature::U64 }),
    ]),
);
assert_eq!(
    <HashMap<u8, &str>>::SIGNATURE,
    &Signature::static_dict(&Signature::U8, &Signature::Str),
);

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Type for IpAddr

const SIGNATURE: &'static Signature = <(u32, &[u8])>::SIGNATURE

impl Type for Month

const SIGNATURE: &'static Signature = <&str>::SIGNATURE

impl Type for Weekday

const SIGNATURE: &'static Signature = <&str>::SIGNATURE

impl Type for Month

const SIGNATURE: &'static Signature = u8::SIGNATURE

impl Type for Weekday

const SIGNATURE: &'static Signature = u8::SIGNATURE

impl Type for bool

const SIGNATURE: &'static Signature

impl Type for char

const SIGNATURE: &'static Signature

impl Type for f32

const SIGNATURE: &'static Signature

impl Type for f64

const SIGNATURE: &'static Signature

impl Type for i8

const SIGNATURE: &'static Signature

impl Type for i16

const SIGNATURE: &'static Signature

impl Type for i32

const SIGNATURE: &'static Signature

impl Type for i64

const SIGNATURE: &'static Signature

impl Type for isize

const SIGNATURE: &'static Signature = i64::SIGNATURE

impl Type for str

const SIGNATURE: &'static Signature

impl Type for u8

const SIGNATURE: &'static Signature

impl Type for u16

const SIGNATURE: &'static Signature

impl Type for u32

const SIGNATURE: &'static Signature

impl Type for u64

const SIGNATURE: &'static Signature

impl Type for ()

const SIGNATURE: &'static Signature

impl Type for usize

const SIGNATURE: &'static Signature = u64::SIGNATURE

impl Type for String

const SIGNATURE: &'static Signature

impl Type for Ipv4Addr

const SIGNATURE: &'static Signature = <[u8; 4]>::SIGNATURE

impl Type for Ipv6Addr

const SIGNATURE: &'static Signature = <[u8; 16]>::SIGNATURE

impl Type for SocketAddrV4

const SIGNATURE: &'static Signature = <(Ipv4Addr, u16)>::SIGNATURE

impl Type for SocketAddrV6

const SIGNATURE: &'static Signature = <(Ipv6Addr, u16)>::SIGNATURE

impl Type for AtomicBool

Available on target_has_atomic=8 only.

const SIGNATURE: &'static Signature = <bool as Type>::SIGNATURE

impl Type for AtomicI8

Available on target_has_atomic=8 only.

const SIGNATURE: &'static Signature = <i8 as Type>::SIGNATURE

impl Type for AtomicI16

Available on target_has_atomic=16 only.

const SIGNATURE: &'static Signature = <i16 as Type>::SIGNATURE

impl Type for AtomicI32

Available on target_has_atomic=32 only.

const SIGNATURE: &'static Signature = <i32 as Type>::SIGNATURE

impl Type for AtomicI64

Available on target_has_atomic=64 only.

const SIGNATURE: &'static Signature = <i64 as Type>::SIGNATURE

impl Type for AtomicIsize

Available on target_has_atomic=ptr only.

const SIGNATURE: &'static Signature = <isize as Type>::SIGNATURE

impl Type for AtomicU8

Available on target_has_atomic=8 only.

const SIGNATURE: &'static Signature = <u8 as Type>::SIGNATURE

impl Type for AtomicU16

Available on target_has_atomic=16 only.

const SIGNATURE: &'static Signature = <u16 as Type>::SIGNATURE

impl Type for AtomicU32

Available on target_has_atomic=32 only.

const SIGNATURE: &'static Signature = <u32 as Type>::SIGNATURE

impl Type for AtomicU64

Available on target_has_atomic=64 only.

const SIGNATURE: &'static Signature = <u64 as Type>::SIGNATURE

impl Type for AtomicUsize

Available on target_has_atomic=ptr only.

const SIGNATURE: &'static Signature = <usize as Type>::SIGNATURE

impl Type for Duration

const SIGNATURE: &'static Signature = <(u64, u32)>::SIGNATURE

impl Type for Path

const SIGNATURE: &'static Signature

impl Type for PathBuf

const SIGNATURE: &'static Signature

impl Type for SystemTime

const SIGNATURE: &'static Signature = <(u64, u32)>::SIGNATURE

impl Type for Utf8Path

const SIGNATURE: &'static Signature

impl Type for Utf8PathBuf

const SIGNATURE: &'static Signature

impl Type for NaiveDate

const SIGNATURE: &'static Signature = <&str>::SIGNATURE

impl Type for NaiveDateTime

const SIGNATURE: &'static Signature = <&str>::SIGNATURE

impl Type for NaiveTime

const SIGNATURE: &'static Signature = <&str>::SIGNATURE

impl Type for ByteBuf

const SIGNATURE: &'static Signature

impl Type for Bytes

const SIGNATURE: &'static Signature

impl Type for Date

const SIGNATURE: &'static Signature = <(i32, u16)>::SIGNATURE

impl Type for Duration

const SIGNATURE: &'static Signature = <(i64, i32)>::SIGNATURE

impl Type for OffsetDateTime

const SIGNATURE: &'static Signature = <(i32, u16, u8, u8, u8, u32, i8, i8, i8)>::SIGNATURE

impl Type for PrimitiveDateTime

const SIGNATURE: &'static Signature = <(i32, u16, u8, u8, u8, u32)>::SIGNATURE

impl Type for Time

const SIGNATURE: &'static Signature = <(u8, u8, u8, u32)>::SIGNATURE

impl Type for UtcOffset

const SIGNATURE: &'static Signature = <(i8, i8, i8)>::SIGNATURE

impl Type for Url

const SIGNATURE: &'static Signature = <&str>::SIGNATURE

impl Type for Uuid

const SIGNATURE: &'static Signature = <&[u8]>::SIGNATURE

impl Type for NonZeroI8

const SIGNATURE: &'static Signature

impl Type for NonZeroI16

const SIGNATURE: &'static Signature

impl Type for NonZeroI32

const SIGNATURE: &'static Signature

impl Type for NonZeroI64

const SIGNATURE: &'static Signature

impl Type for NonZeroU8

const SIGNATURE: &'static Signature

impl Type for NonZeroU16

const SIGNATURE: &'static Signature

impl Type for NonZeroU32

const SIGNATURE: &'static Signature

impl Type for NonZeroU64

const SIGNATURE: &'static Signature

impl<F> Type for BitFlags<F>

where F: Type + BitFlag,

const SIGNATURE: &'static Signature = F::SIGNATURE

impl<Idx: Type> Type for Range<Idx>

const SIGNATURE: &'static Signature = <(Idx, Idx)>::SIGNATURE

impl<Idx: Type> Type for RangeFrom<Idx>

const SIGNATURE: &'static Signature = <(Idx,)>::SIGNATURE

impl<Idx: Type> Type for RangeInclusive<Idx>

const SIGNATURE: &'static Signature = <(Idx, Idx)>::SIGNATURE

impl<Idx: Type> Type for RangeTo<Idx>

const SIGNATURE: &'static Signature = <(Idx,)>::SIGNATURE

impl<K, V> Type for BTreeMap<K, V>

where K: Type + Ord, V: Type,

const SIGNATURE: &'static Signature

impl<K, V, H> Type for HashMap<K, V, H>

where K: Type + Eq + Hash, V: Type, H: BuildHasher,

const SIGNATURE: &'static Signature

impl<T0> Type for (T0,)

where T0: Type,

const SIGNATURE: &'static Signature

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

where T0: Type, T1: Type,

const SIGNATURE: &'static Signature

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

where T0: Type, T1: Type, T2: Type,

const SIGNATURE: &'static Signature

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

where T0: Type, T1: Type, T2: Type, T3: Type,

const SIGNATURE: &'static Signature

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

where T0: Type, T1: Type, T2: Type, T3: Type, T4: Type,

const SIGNATURE: &'static Signature

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,

const SIGNATURE: &'static Signature

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,

const SIGNATURE: &'static Signature

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,

const SIGNATURE: &'static Signature

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,

const SIGNATURE: &'static Signature

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,

const SIGNATURE: &'static Signature

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,

const SIGNATURE: &'static Signature

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,

const SIGNATURE: &'static Signature

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,

const SIGNATURE: &'static Signature

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,

const SIGNATURE: &'static Signature

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,

const SIGNATURE: &'static Signature

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,

const SIGNATURE: &'static Signature

impl<T> Type for Option<T>

where T: Type,

Available on crate feature option-as-array only.

const SIGNATURE: &'static Signature

impl<T> Type for [T]

where T: Type,

const SIGNATURE: &'static Signature

impl<T> Type for BinaryHeap<T>

where T: Type + Ord,

const SIGNATURE: &'static Signature = <[T]>::SIGNATURE

impl<T> Type for BTreeSet<T>

where T: Type + Ord,

const SIGNATURE: &'static Signature = <[T]>::SIGNATURE

impl<T> Type for LinkedList<T>

where T: Type,

const SIGNATURE: &'static Signature

impl<T> Type for VecDeque<T>

where T: Type,

const SIGNATURE: &'static Signature

impl<T> Type for Vec<T>

where T: Type,

const SIGNATURE: &'static Signature

impl<T> Type for PhantomData<T>

where T: Type + ?Sized,

const SIGNATURE: &'static Signature = T::SIGNATURE

impl<T, S> Type for HashSet<T, S>

where T: Type + Eq + Hash, S: BuildHasher,

const SIGNATURE: &'static Signature = <[T]>::SIGNATURE

impl<T, const CAP: usize> Type for ArrayVec<T, CAP>

where T: Type,

Available on crate feature arrayvec only.

const SIGNATURE: &'static Signature = <[T]>::SIGNATURE

impl<T, const CAP: usize> Type for Vec<T, CAP>

where T: Type,

Available on crate feature heapless only.

const SIGNATURE: &'static Signature = <[T]>::SIGNATURE

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

where T: Type,

const SIGNATURE: &'static Signature

impl<T: Type> Type for Reverse<T>

const SIGNATURE: &'static Signature = T::SIGNATURE

impl<T: Type> Type for Saturating<T>

const SIGNATURE: &'static Signature = T::SIGNATURE

impl<T: Type> Type for Wrapping<T>

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

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

const SIGNATURE: &'static Signature = T::SIGNATURE

impl<Tz: TimeZone> Type for DateTime<Tz>

const SIGNATURE: &'static Signature = <&str>::SIGNATURE

impl<const CAP: usize> Type for ArrayString<CAP>

Available on crate feature arrayvec only.

const SIGNATURE: &'static Signature

impl<const CAP: usize> Type for String<CAP>

Available on crate feature heapless only.

const SIGNATURE: &'static Signature

Implementors

impl Type for Fd<'_>

const SIGNATURE: &'static Signature

impl Type for Signature

const SIGNATURE: &'static Signature

impl Type for Value<'_>

const SIGNATURE: &'static Signature

impl Type for ObjectPath<'_>

const SIGNATURE: &'static Signature

impl Type for OwnedFd

const SIGNATURE: &'static Signature

impl Type for OwnedObjectPath

const SIGNATURE: &'static Signature = <ObjectPath<'static> as ::zvariant::Type>::SIGNATURE

impl Type for OwnedValue

const SIGNATURE: &'static Signature = <Value<'static> as ::zvariant::Type>::SIGNATURE

impl Type for Str<'_>

const SIGNATURE: &'static Signature

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

const SIGNATURE: &'static Signature

impl<'f> Type for FilePath<'f>

const SIGNATURE: &'static Signature

impl<T> Type for Optional<T>

where T: Type,

const SIGNATURE: &'static Signature = T::SIGNATURE

impl<T: Type + Serialize> Type for Serialize<'_, T>

const SIGNATURE: &'static Signature