ic-platform 0.31.0

Controlled Candid and IC runtime dependency boundary
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

//! The Candid top type, retaining validated skipping rather than retaining a value.
use super::{
    Encode, Error, Type, Writer,
    decoder::{self, Decode, Reader},
};
/// A deliberately discarded Candid value. Skipping still enforces decoder budgets.
#[derive(Clone, Copy, Debug, Default, Eq, PartialEq, Ord, PartialOrd, Hash)]
pub struct Reserved;
impl Encode for Reserved {
    const TYPE: &'static Type = &Type::Primitive(-16);
    fn write(&self, _: &mut Writer) -> Result<(), Error> {
        Ok(())
    }
}
impl<'a> Decode<'a> for Reserved {
    fn read(reader: &mut Reader<'a>, wire: i64) -> Result<Self, decoder::Error> {
        reader.skip(wire)?;
        Ok(Self)
    }
    fn missing() -> Result<Self, decoder::Error> {
        Ok(Self)
    }
}
impl serde::Serialize for Reserved {
    fn serialize<S: serde::Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error> {
        serializer.serialize_none()
    }
}
impl<'de> serde::Deserialize<'de> for Reserved {
    fn deserialize<D: serde::Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error> {
        serde::de::IgnoredAny::deserialize(deserializer).map(|_| Self)
    }
}
#[cfg(test)]
impl candid::CandidType for Reserved {
    fn _ty() -> candid::types::Type {
        candid::types::TypeInner::Reserved.into()
    }
    fn idl_serialize<S: candid::types::Serializer>(&self, serializer: S) -> Result<(), S::Error> {
        serializer.serialize_null(())
    }
}
#[cfg(test)]
mod tests;