Struct Rules

Source
pub struct Rules { /* private fields */ }
Expand description

A set of valid Rules, where the set of DIDs and threshold are fully resolved and valid. Since the rules are constructed via a BTreeMap, they cannot be duplicated.

To construct the set of rules, use Rules::from_raw, which validates a set of RawRules, and their Pattern references, into a set of ValidRules.

Implementations§

Source§

impl Rules

Source

pub fn iter( &self, ) -> impl Iterator<Item = (&Pattern, &Rule<ResolvedDelegates, Threshold>)>

Returns an iterator over the Pattern and ValidRule in the set of rules.

Source

pub fn is_empty(&self) -> bool

Returns true is the set of rules is empty.

Source

pub fn from_raw<R>( rules: impl IntoIterator<Item = (Pattern, Rule<Allowed, usize>)>, resolve: &mut R, ) -> Result<Rules, ValidationError>
where R: Fn() -> Delegates,

Construct a set of Rules given a set of RawRules.

Source

pub fn matches<'a>( &self, refname: &Qualified<'a>, ) -> impl Iterator<Item = (&Pattern, &Rule<ResolvedDelegates, Threshold>)> + use<'a, '_>

Return the matching rules for the given refname.

Source

pub fn canonical<'a, 'b>( &'a self, refname: Qualified<'b>, repo: &Repository, ) -> Result<Option<Canonical<'b, 'a>>, CanonicalError>

Match given refname, take the most specific rule, and prepare evaluation as Canonical

N.b. it will find the first rule that is most specific for the given refname.

Trait Implementations§

Source§

impl Clone for Rules

Source§

fn clone(&self) -> Rules

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for Rules

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more
Source§

impl Default for Rules

Source§

fn default() -> Rules

Returns the “default value” for a type. Read more
Source§

impl Extend<(Pattern, Rule<ResolvedDelegates, Threshold>)> for Rules

Source§

fn extend<T>(&mut self, iter: T)

Extends a collection with the contents of an iterator. Read more
Source§

fn extend_one(&mut self, item: A)

🔬This is a nightly-only experimental API. (extend_one)
Extends a collection with exactly one element.
Source§

fn extend_reserve(&mut self, additional: usize)

🔬This is a nightly-only experimental API. (extend_one)
Reserves capacity in a collection for the given number of additional elements. Read more
Source§

impl From<Rules> for RawRules

Source§

fn from(_: Rules) -> RawRules

Converts to this type from the input type.
Source§

impl FromIterator<(Pattern, Rule<ResolvedDelegates, Threshold>)> for Rules

Source§

fn from_iter<T>(iter: T) -> Rules

Creates a value from an iterator. Read more
Source§

impl<'a> IntoIterator for &'a Rules

Source§

type Item = (&'a Pattern, &'a Rule<ResolvedDelegates, Threshold>)

The type of the elements being iterated over.
Source§

type IntoIter = Iter<'a, Pattern, Rule<ResolvedDelegates, Threshold>>

Which kind of iterator are we turning this into?
Source§

fn into_iter(self) -> <&'a Rules as IntoIterator>::IntoIter

Creates an iterator from a value. Read more
Source§

impl IntoIterator for Rules

Source§

type Item = (Pattern, Rule<ResolvedDelegates, Threshold>)

The type of the elements being iterated over.
Source§

type IntoIter = IntoIter<Pattern, Rule<ResolvedDelegates, Threshold>>

Which kind of iterator are we turning this into?
Source§

fn into_iter(self) -> <Rules as IntoIterator>::IntoIter

Creates an iterator from a value. Read more
Source§

impl PartialEq for Rules

Source§

fn eq(&self, other: &Rules) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Serialize for Rules

Source§

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
Source§

impl Eq for Rules

Source§

impl StructuralPartialEq for Rules

Auto Trait Implementations§

§

impl Freeze for Rules

§

impl RefUnwindSafe for Rules

§

impl Send for Rules

§

impl Sync for Rules

§

impl Unpin for Rules

§

impl UnwindSafe for Rules

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T> IntoEither for T

Source§

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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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
Source§

impl<T> IntoInit<ZeroInit> for T

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> Serialize for T
where T: Serialize + ?Sized,

Source§

fn erased_serialize(&self, serializer: &mut dyn Serializer) -> Result<(), Error>

Source§

fn do_erased_serialize( &self, serializer: &mut dyn Serializer, ) -> Result<(), ErrorImpl>

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

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

fn clone_into(&self, target: &mut T)

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

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> ErasedDestructor for T
where T: 'static,