Struct vec_collections::TotalArrayMap

pub struct TotalArrayMap<K, V>(_, _);

Methods

impl<K, V: Eq> TotalArrayMap<K, V>

pub fn new(map: VecMap<K, V>, default: V) -> Self

impl<K, V> TotalArrayMap<K, V>

pub fn constant(value: V) -> Self

pub fn as_slice(&self) -> &[(K, V)]

impl<K: Ord + Clone, V: Eq> TotalArrayMap<K, V>

pub fn combine<F: Fn(&V, &V) -> V>(&self, that: &Self, f: F) -> Self

impl<K: Ord + Clone, V: Ord + Clone> TotalArrayMap<K, V>

pub fn supremum(&self, that: &Self) -> Self

pub fn infimum(&self, that: &Self) -> Self

impl<K: Clone, V: Eq> TotalArrayMap<K, V>

pub fn map_values<W: Eq, F: Fn(&V) -> W>(&self, f: F) -> TotalArrayMap<K, W>

Trait Implementations

impl<K: Clone, V: Clone> Clone for TotalArrayMap<K, V>

fn clone(&self) -> TotalArrayMap<K, V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<K: Default, V: Default> Default for TotalArrayMap<K, V>

fn default() -> TotalArrayMap<K, V>

Returns the "default value" for a type.

impl<K: Eq, V: Eq> Eq for TotalArrayMap<K, V>

impl<K: PartialEq, V: PartialEq> PartialEq<TotalArrayMap<K, V>> for TotalArrayMap<K, V>

fn eq(&self, other: &TotalArrayMap<K, V>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &TotalArrayMap<K, V>) -> bool

This method tests for !=.

impl<K: Debug, V: Debug> Debug for TotalArrayMap<K, V>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<'_, K: Ord, Q: ?Sized, V> Index<&'_ Q> for TotalArrayMap<K, V> where
    K: Borrow<Q>,
    Q: Ord, 

type Output = V

The returned type after indexing.

fn index(&self, key: &Q) -> &V

Performs the indexing (container[index]) operation.

impl<K: Hash, V: Hash> Hash for TotalArrayMap<K, V>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl<K, V> StructuralPartialEq for TotalArrayMap<K, V>

impl<K, V> StructuralEq for TotalArrayMap<K, V>

impl<K: Ord + Clone, V: AbstractMagma<Additive> + Eq> AbstractMagma<Additive> for TotalArrayMap<K, V>

fn operate(&self, that: &Self) -> Self

Performs an operation.

fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<K: Ord + Clone, V: AbstractMagma<Multiplicative> + Eq> AbstractMagma<Multiplicative> for TotalArrayMap<K, V>

fn operate(&self, that: &Self) -> Self

Performs an operation.

fn op(&self, O, lhs: &Self) -> Self

Performs specific operation.

impl<K: Ord + Clone, V: AbstractQuasigroup<Additive> + Eq> AbstractQuasigroup<Additive> for TotalArrayMap<K, V>

fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications.

fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
    Self: Eq, 

Returns true if latin squareness holds for the given arguments.

impl<K: Ord + Clone, V: AbstractQuasigroup<Multiplicative> + Eq> AbstractQuasigroup<Multiplicative> for TotalArrayMap<K, V>

fn prop_inv_is_latin_square_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if latin squareness holds for the given arguments. Approximate equality is used for verifications.

fn prop_inv_is_latin_square(args: (Self, Self)) -> bool where
    Self: Eq, 

Returns true if latin squareness holds for the given arguments.

impl<K: Ord + Clone, V: AbstractSemigroup<Additive> + Eq> AbstractSemigroup<Additive> for TotalArrayMap<K, V>

fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.

impl<K: Ord + Clone, V: AbstractSemigroup<Multiplicative> + Eq> AbstractSemigroup<Multiplicative> for TotalArrayMap<K, V>

fn prop_is_associative_approx(args: (Self, Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if associativity holds for the given arguments. Approximate equality is used for verifications.

fn prop_is_associative(args: (Self, Self, Self)) -> bool where
    Self: Eq, 

Returns true if associativity holds for the given arguments.

impl<K: Ord + Clone, V: AbstractLoop<Additive> + Eq> AbstractLoop<Additive> for TotalArrayMap<K, V>

impl<K: Ord + Clone, V: AbstractLoop<Multiplicative> + Eq> AbstractLoop<Multiplicative> for TotalArrayMap<K, V>

impl<K: Ord + Clone, V: AbstractMonoid<Additive> + Eq> AbstractMonoid<Additive> for TotalArrayMap<K, V>

fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
    Self: Eq, 

Checks whether operating with the identity element is a no-op for the given argument.

impl<K: Ord + Clone, V: AbstractMonoid<Multiplicative> + Eq> AbstractMonoid<Multiplicative> for TotalArrayMap<K, V>

fn prop_operating_identity_element_is_noop_approx(args: (Self,)) -> bool where
    Self: RelativeEq<Self>, 

Checks whether operating with the identity element is a no-op for the given argument. Approximate equality is used for verifications.

fn prop_operating_identity_element_is_noop(args: (Self,)) -> bool where
    Self: Eq, 

Checks whether operating with the identity element is a no-op for the given argument.

impl<K: Ord + Clone, V: AbstractGroup<Additive> + Eq> AbstractGroup<Additive> for TotalArrayMap<K, V>

impl<K: Ord + Clone, V: AbstractGroup<Multiplicative> + Eq> AbstractGroup<Multiplicative> for TotalArrayMap<K, V>

impl<K: Ord + Clone, V: AbstractGroupAbelian<Additive> + Eq> AbstractGroupAbelian<Additive> for TotalArrayMap<K, V>

fn prop_is_commutative_approx(args: (Self, Self)) -> bool where
    Self: RelativeEq<Self>, 

Returns true if the operator is commutative for the given argument tuple. Approximate equality is used for verifications.

fn prop_is_commutative(args: (Self, Self)) -> bool where
    Self: Eq, 

Returns true if the operator is commutative for the given argument tuple.

impl<K, V: Identity<Additive>> Identity<Additive> for TotalArrayMap<K, V>

fn identity() -> Self

The identity element.

fn id(O) -> Self

Specific identity.

impl<K, V: Identity<Multiplicative>> Identity<Multiplicative> for TotalArrayMap<K, V>

fn identity() -> Self

The identity element.

fn id(O) -> Self

Specific identity.

impl<K: Clone, V: TwoSidedInverse<Additive> + Eq> TwoSidedInverse<Additive> for TotalArrayMap<K, V>

fn two_sided_inverse(&self) -> Self

Returns the two_sided_inverse of self, relative to the operator O.

fn two_sided_inverse_mut(&mut self)

In-place inversion of self, relative to the operator O.

impl<K: Clone, V: TwoSidedInverse<Multiplicative> + Eq> TwoSidedInverse<Multiplicative> for TotalArrayMap<K, V>

fn two_sided_inverse(&self) -> Self

Returns the two_sided_inverse of self, relative to the operator O.

fn two_sided_inverse_mut(&mut self)

In-place inversion of self, relative to the operator O.