Trait CandidType 

pub trait CandidType {
    // Required methods
    fn _ty() -> Type;
    fn idl_serialize<S>(
        &self,
        serializer: S,
    ) -> Result<(), <S as Serializer>::Error>
       where S: Serializer;

    // Provided methods
    fn ty() -> Type { ... }
    fn id() -> TypeId { ... }
}

Required Methods

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

Provided Methods

fn ty() -> Type

fn id() -> TypeId

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 CandidType for bool

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for f32

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for f64

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for i8

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for i16

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for i32

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for i64

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for i128

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for isize

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for str

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for u8

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for u16

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for u32

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for u64

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for u128

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for ()

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for usize

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for String

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for Duration

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for Path

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for PathBuf

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for SystemTime

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for ByteBuf

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl CandidType for Bytes

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<K> CandidType for BinaryHeap<K>

where K: CandidType + Ord,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<K> CandidType for BTreeSet<K>

where K: CandidType + Ord,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<K> CandidType for LinkedList<K>

where K: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<K> CandidType for VecDeque<K>

where K: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<K> CandidType for Vec<K>

where K: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<K, H> CandidType for HashSet<K, H>

where K: CandidType + Eq + Hash, H: BuildHasher,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where K: CandidType + Ord, V: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

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

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T0> CandidType for (T0,)

where T0: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType, T2: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

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

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType, T4: CandidType, T5: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T0, T1, T2, T3, T4, T5, T6> CandidType for (T0, T1, T2, T3, T4, T5, T6)

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType, T4: CandidType, T5: CandidType, T6: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T0, T1, T2, T3, T4, T5, T6, T7> CandidType for (T0, T1, T2, T3, T4, T5, T6, T7)

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType, T4: CandidType, T5: CandidType, T6: CandidType, T7: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType, T4: CandidType, T5: CandidType, T6: CandidType, T7: CandidType, T8: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType, T4: CandidType, T5: CandidType, T6: CandidType, T7: CandidType, T8: CandidType, T9: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType, T4: CandidType, T5: CandidType, T6: CandidType, T7: CandidType, T8: CandidType, T9: CandidType, T10: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType, T4: CandidType, T5: CandidType, T6: CandidType, T7: CandidType, T8: CandidType, T9: CandidType, T10: CandidType, T11: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType, T4: CandidType, T5: CandidType, T6: CandidType, T7: CandidType, T8: CandidType, T9: CandidType, T10: CandidType, T11: CandidType, T12: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType, T4: CandidType, T5: CandidType, T6: CandidType, T7: CandidType, T8: CandidType, T9: CandidType, T10: CandidType, T11: CandidType, T12: CandidType, T13: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType, T4: CandidType, T5: CandidType, T6: CandidType, T7: CandidType, T8: CandidType, T9: CandidType, T10: CandidType, T11: CandidType, T12: CandidType, T13: CandidType, T14: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T0: CandidType, T1: CandidType, T2: CandidType, T3: CandidType, T4: CandidType, T5: CandidType, T6: CandidType, T7: CandidType, T8: CandidType, T9: CandidType, T10: CandidType, T11: CandidType, T12: CandidType, T13: CandidType, T14: CandidType, T15: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for Cow<'_, T>

where T: CandidType + ToOwned + ?Sized,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for Option<T>

where T: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for &T

where T: CandidType + ?Sized,

fn id() -> TypeId

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for &mut T

where T: CandidType + ?Sized,

fn id() -> TypeId

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for [T]

where T: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for Box<T>

where T: CandidType + ?Sized,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for Rc<T>

where T: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for Arc<T>

where T: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for Cell<T>

where T: CandidType + Copy,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for RefCell<T>

where T: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for Reverse<T>

where T: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T> CandidType for PhantomData<T>

where T: CandidType,

fn _ty() -> Type

fn idl_serialize<S>(&self, _: S) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<T, E> CandidType for Result<T, E>

where T: CandidType, E: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

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

where T: CandidType,

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

impl<const N: usize> CandidType for ByteArray<N>

fn _ty() -> Type

fn idl_serialize<S>( &self, serializer: S, ) -> Result<(), <S as Serializer>::Error>

where S: Serializer,

Implementors

impl CandidType for Empty

impl CandidType for IDLValue

impl CandidType for Func

impl CandidType for Int

impl CandidType for Nat

impl CandidType for Principal

impl CandidType for Reserved

impl CandidType for Service

impl<T, E> CandidType for MotokoResult<T, E>

where T: CandidType, E: CandidType,