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

Create a new restricted type

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

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.

Unwraps the value without verifying the data, akin to Result::unwrap and Option::unwrap, but will not panic

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

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Argument for the math operations

Return value, generally the same as Arg

Checked addition, see usize::checked_add

Checked subtraction, see usize::checked_sub

Checked multiplication, see usize::checked_mul

Argument for the math operations

Return value, generally the same as Arg

Checked addition, see usize::checked_add

Checked subtraction, see usize::checked_sub

Checked multiplication, see usize::checked_mul

Argument for the math operations

Return value, generally the same as Arg

Checked addition, see usize::checked_add

Checked subtraction, see usize::checked_sub

Checked multiplication, see usize::checked_mul

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

🔬 This is a nightly-only experimental API. (toowned_clone_into)

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.