pub struct Restrict<T>(_);Expand description
Untrusted types will be wrapped in this type.
To gain access to the data, some form of verification through one of the public methods is necessary.
Implementations
sourceimpl<T> Restrict<T>
impl<T> Restrict<T>
sourcepub fn verify<'a, F: Fn(&'a T) -> bool>(&'a self, f: F) -> Verified<'a, T>
pub fn verify<'a, F: Fn(&'a T) -> bool>(&'a self, f: F) -> Verified<'a, T>
It is the responsibility of this function to verify the contained type is valid.
use trust_dns_proto::serialize::binary::Restrict;
let unrestricted = Restrict::new(0).verify(|r| *r == 0).then(|r| *r + 1).unwrap();
assert!(unrestricted == 1);Returns
If f returns true then the value is valid and a chainable Verified type is returned
sourcepub fn verify_unwrap<F: Fn(&T) -> bool>(self, f: F) -> Result<T, T>
pub fn verify_unwrap<F: Fn(&T) -> bool>(self, f: F) -> Result<T, T>
It is the responsibility of this function to verify the contained type is valid.
use trust_dns_proto::serialize::binary::Restrict;
let unrestricted = Restrict::new(0).verify_unwrap(|r| *r == 0).unwrap();
assert!(unrestricted == 0);Returns
If f returns true then the value is valid and Ok(T) is returned. Otherwise
Err(T) is returned.
sourcepub fn unverified(self) -> T
pub fn unverified(self) -> T
Unwraps the value without verifying the data, akin to Result::unwrap and Option::unwrap, but will not panic
sourcepub fn map<R, F: Fn(T) -> R>(self, f: F) -> Restrict<R>
pub fn map<R, F: Fn(T) -> R>(self, f: F) -> Restrict<R>
Map the internal type of the restriction
use trust_dns_proto::serialize::binary::Restrict;
let restricted = Restrict::new(0).map(|b| vec![b, 1]);
assert!(restricted.verify(|v| v == &[0, 1]).is_valid());
assert!(!restricted.verify(|v| v == &[1, 0]).is_valid());Trait Implementations
sourceimpl RestrictedMath for Restrict<usize>
impl RestrictedMath for Restrict<usize>
sourceimpl RestrictedMath for Restrict<u8>
impl RestrictedMath for Restrict<u8>
sourceimpl RestrictedMath for Restrict<u16>
impl RestrictedMath for Restrict<u16>
impl<T: Copy> Copy for Restrict<T>
Auto Trait Implementations
impl<T> RefUnwindSafe for Restrict<T> where
T: RefUnwindSafe,
impl<T> Send for Restrict<T> where
T: Send,
impl<T> Sync for Restrict<T> where
T: Sync,
impl<T> Unpin for Restrict<T> where
T: Unpin,
impl<T> UnwindSafe for Restrict<T> where
T: UnwindSafe,
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> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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)
toowned_clone_into)Uses borrowed data to replace owned data, usually by cloning. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
fn vzip(self) -> V
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
Attaches the provided Subscriber to this type, returning a
WithDispatch wrapper. Read more
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber to this type, returning a
WithDispatch wrapper. Read more