Trait CandidType

pub trait CandidType {
    // Required methods
    fn _ty() -> Type;
    fn idl_serialize<S>(&self, serializer: S) -> Result<(), S::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::Error>

where S: Serializer,

Provided Methods

fn ty() -> Type

fn id() -> TypeId

Object Safety

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::Error>

where S: Serializer,

impl CandidType for f32

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for f64

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for i8

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for i16

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for i32

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for i64

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for i128

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for isize

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for str

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for u8

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for u16

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for u32

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for u64

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for u128

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for ()

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for usize

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for ByteBuf

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for Bytes

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for String

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for Duration

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for Path

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for PathBuf

fn _ty() -> Type

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

where S: Serializer,

impl CandidType for SystemTime

fn _ty() -> Type

fn idl_serialize<S>(&self, serializer: S) -> Result<(), S::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::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::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::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::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::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::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::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::Error>

where S: Serializer,

impl<T0> CandidType for (T0,)

where T0: CandidType,

fn _ty() -> Type

fn idl_serialize<S>(&self, serializer: S) -> Result<(), S::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::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::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::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::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::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::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::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::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::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::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::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::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::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::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::Error>

where S: Serializer,

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

where T: ?Sized + CandidType + ToOwned,

fn _ty() -> Type

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

where S: Serializer,

impl<T> CandidType for Option<T>

where T: CandidType + Sized,

fn _ty() -> Type

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

where S: Serializer,

impl<T> CandidType for &T

where T: ?Sized + CandidType,

fn id() -> TypeId

fn _ty() -> Type

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

where S: Serializer,

impl<T> CandidType for &mut T

where T: ?Sized + CandidType,

fn id() -> TypeId

fn _ty() -> Type

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

where S: Serializer,

impl<T> CandidType for [T]

where T: CandidType,

fn _ty() -> Type

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

where S: Serializer,

impl<T> CandidType for Box<T>

where T: ?Sized + CandidType,

fn _ty() -> Type

fn idl_serialize<S>(&self, serializer: S) -> Result<(), S::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::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::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::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::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::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::Error>

where S: Serializer,

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

fn _ty() -> Type

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

where S: Serializer,

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

fn _ty() -> Type

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

where S: Serializer,

Implementors

impl CandidType for Empty

impl CandidType for Principal

impl CandidType for Int

impl CandidType for Nat

impl CandidType for Func

impl CandidType for Service

impl CandidType for Reserved

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

where T: CandidType, E: CandidType,