pub struct TypeConstraint { /* private fields */ }Implementations§
Source§impl TypeConstraint
impl TypeConstraint
pub const fn unconstrained(ty: Type) -> Self
pub fn with_constraint(ty: Type, constraint: Constraint) -> Self
pub fn dictionary(dictionary_id: DictionaryId, id_type: Type) -> Self
pub fn sumtype(id: SumTypeId) -> Self
pub fn get_type(&self) -> Type
pub fn storage_type(&self) -> Type
pub fn constraint(&self) -> &Option<Constraint>
pub fn to_ffi(&self) -> FFITypeConstraint
pub fn from_ffi(ffi: FFITypeConstraint) -> Self
pub fn validate(&self, value: &Value) -> Result<(), Error>
pub fn is_unconstrained(&self) -> bool
pub fn to_string(&self) -> String
Trait Implementations§
Source§impl Clone for TypeConstraint
impl Clone for TypeConstraint
Source§fn clone(&self) -> TypeConstraint
fn clone(&self) -> TypeConstraint
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for TypeConstraint
impl Debug for TypeConstraint
Source§impl<'de> Deserialize<'de> for TypeConstraint
impl<'de> Deserialize<'de> for TypeConstraint
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl PartialEq for TypeConstraint
impl PartialEq for TypeConstraint
Source§fn eq(&self, other: &TypeConstraint) -> bool
fn eq(&self, other: &TypeConstraint) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl Serialize for TypeConstraint
impl Serialize for TypeConstraint
impl Eq for TypeConstraint
impl StructuralPartialEq for TypeConstraint
Auto Trait Implementations§
impl Freeze for TypeConstraint
impl RefUnwindSafe for TypeConstraint
impl Send for TypeConstraint
impl Sync for TypeConstraint
impl Unpin for TypeConstraint
impl UnsafeUnpin for TypeConstraint
impl UnwindSafe for TypeConstraint
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more