pub enum IDLValue {
Show 25 variants
Bool(bool),
Null,
Text(String),
Number(String),
Float64(f64),
Opt(Box<IDLValue>),
Vec(Vec<IDLValue>),
Record(Vec<IDLField>),
Variant(VariantValue),
Principal(Principal),
Service(Principal),
Func(Principal, String),
None,
Int(Int),
Nat(Nat),
Nat8(u8),
Nat16(u16),
Nat32(u32),
Nat64(u64),
Int8(i8),
Int16(i16),
Int32(i32),
Int64(i64),
Float32(f32),
Reserved,
}
Variants
Bool(bool)
Null
Text(String)
Number(String)
Float64(f64)
Opt(Box<IDLValue>)
Vec(Vec<IDLValue>)
Record(Vec<IDLField>)
Variant(VariantValue)
Principal(Principal)
Service(Principal)
Func(Principal, String)
None
Int(Int)
Nat(Nat)
Nat8(u8)
Nat16(u16)
Nat32(u32)
Nat64(u64)
Int8(i8)
Int16(i16)
Int32(i32)
Int64(i64)
Float32(f32)
Reserved
Implementations
sourceimpl IDLValue
impl IDLValue
sourcepub fn annotate_type(
&self,
from_parser: bool,
env: &TypeEnv,
t: &Type
) -> Result<Self>
pub fn annotate_type(
&self,
from_parser: bool,
env: &TypeEnv,
t: &Type
) -> Result<Self>
Anotate IDLValue
with the given type, allowing subtyping. If IDLValue
is parsed from
string, we need to set from_parser
to true to enable converting numbers to the expected
types, and disable the opt rules.
pub fn value_ty(&self) -> Type
Trait Implementations
sourceimpl CandidType for IDLValue
impl CandidType for IDLValue
sourceimpl<'de> Deserialize<'de> for IDLValue
impl<'de> Deserialize<'de> for IDLValue
sourcefn deserialize<D>(deserializer: D) -> Result<IDLValue, D::Error> where
D: Deserializer<'de>,
fn deserialize<D>(deserializer: D) -> Result<IDLValue, D::Error> where
D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl StructuralPartialEq for IDLValue
Auto Trait Implementations
impl RefUnwindSafe for IDLValue
impl Send for IDLValue
impl Sync for IDLValue
impl Unpin for IDLValue
impl UnwindSafe for IDLValue
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more