Struct Impossible
pub struct Impossible<Ok, Error> { /* private fields */ }
Helper type for implementing a Serializer that does not support
serializing one of the compound types.
This type cannot be instantiated, but implements every one of the traits
corresponding to the Serializer compound types: SerializeSeq,
SerializeTuple, SerializeTupleStruct, SerializeTupleVariant,
SerializeMap, SerializeStruct, and SerializeStructVariant.
# use serde::ser::{Serializer, Impossible};
# use serde_core::__private::doc::Error;
#
# struct MySerializer;
#
impl Serializer for MySerializer {
type Ok = ();
type Error = Error;
type SerializeSeq = Impossible<(), Error>;
/* other associated types */
/// This data format does not support serializing sequences.
fn serialize_seq(self,
len: Option<usize>)
-> Result<Self::SerializeSeq, Error> {
// Given Impossible cannot be instantiated, the only
// thing we can do here is to return an error.
# stringify! {
Err(...)
# };
# unimplemented!()
}
/* other Serializer methods */
# serde_core::__serialize_unimplemented! {
# bool i8 i16 i32 i64 u8 u16 u32 u64 f32 f64 char str bytes none some
# unit unit_struct unit_variant newtype_struct newtype_variant
# tuple tuple_struct tuple_variant map struct struct_variant
# }
}
Trait Implementations
impl<Ok, Error> SerializeMap for Impossible<Ok, Error>
where
Error: Error,
type Ok = Ok;type Error = Error;fn serialize_key<T>(&mut self, key: &T) -> Result<(), Error> where T: ?Sized + Serialize,fn serialize_value<T>(&mut self, value: &T) -> Result<(), Error> where T: ?Sized + Serialize,fn end(self) -> Result<Ok, Error>
impl<Ok, Error> SerializeSeq for Impossible<Ok, Error>
where
Error: Error,
type Ok = Ok;type Error = Error;fn serialize_element<T>(&mut self, value: &T) -> Result<(), Error> where T: ?Sized + Serialize,fn end(self) -> Result<Ok, Error>
impl<Ok, Error> SerializeStruct for Impossible<Ok, Error>
where
Error: Error,
type Ok = Ok;type Error = Error;fn serialize_field<T>(&mut self, key: &'static str, value: &T) -> Result<(), Error> where T: ?Sized + Serialize,fn end(self) -> Result<Ok, Error>
impl<Ok, Error> SerializeStructVariant for Impossible<Ok, Error>
where
Error: Error,
type Ok = Ok;type Error = Error;fn serialize_field<T>(&mut self, key: &'static str, value: &T) -> Result<(), Error> where T: ?Sized + Serialize,fn end(self) -> Result<Ok, Error>
impl<Ok, Error> SerializeTuple for Impossible<Ok, Error>
where
Error: Error,
type Ok = Ok;type Error = Error;fn serialize_element<T>(&mut self, value: &T) -> Result<(), Error> where T: ?Sized + Serialize,fn end(self) -> Result<Ok, Error>
impl<Ok, Error> SerializeTupleStruct for Impossible<Ok, Error>
where
Error: Error,
type Ok = Ok;type Error = Error;fn serialize_field<T>(&mut self, value: &T) -> Result<(), Error> where T: ?Sized + Serialize,fn end(self) -> Result<Ok, Error>
impl<Ok, Error> SerializeTupleVariant for Impossible<Ok, Error>
where
Error: Error,
type Ok = Ok;type Error = Error;fn serialize_field<T>(&mut self, value: &T) -> Result<(), Error> where T: ?Sized + Serialize,fn end(self) -> Result<Ok, Error>
Auto Trait Implementations
impl<Ok, Error> Freeze for Impossible<Ok, Error>
where
PhantomData<Ok>: Freeze,
PhantomData<Error>: Freeze,
impl<Ok, Error> RefUnwindSafe for Impossible<Ok, Error>
where
PhantomData<Ok>: RefUnwindSafe,
PhantomData<Error>: RefUnwindSafe,
impl<Ok, Error> Send for Impossible<Ok, Error>
where
PhantomData<Ok>: Send,
PhantomData<Error>: Send,
impl<Ok, Error> Sync for Impossible<Ok, Error>
where
PhantomData<Ok>: Sync,
PhantomData<Error>: Sync,
impl<Ok, Error> Unpin for Impossible<Ok, Error>
where
PhantomData<Ok>: Unpin,
PhantomData<Error>: Unpin,
impl<Ok, Error> UnsafeUnpin for Impossible<Ok, Error>
where
PhantomData<Ok>: UnsafeUnpin,
PhantomData<Error>: UnsafeUnpin,
impl<Ok, Error> UnwindSafe for Impossible<Ok, Error>
where
PhantomData<Ok>: UnwindSafe,
PhantomData<Error>: UnwindSafe,
Blanket Implementations
impl<T> Any for Impossible<Ok, Error>
where
T: 'static + ?Sized,
fn type_id(&self) -> TypeId
impl<T> Borrow<T> for Impossible<Ok, Error>
where
T: ?Sized,
fn borrow(&self) -> &T
impl<T> BorrowMut<T> for Impossible<Ok, Error>
where
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
impl<T> From<T> for Impossible<Ok, Error>
fn from(t: T) -> TReturns the argument unchanged.
impl<T, U> Into<U> for Impossible<Ok, Error>
where
U: From<T>,
fn into(self) -> UCalls
U::from(self).That is, this conversion is whatever the implementation of
[From]<T> for Uchooses to do.
impl<T, U> TryFrom<U> for Impossible<Ok, Error>
where
U: Into<T>,
type Error = Infallible;fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
impl<T, U> TryInto<U> for Impossible<Ok, Error>
where
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error;fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>