[−][src]Struct verified::TArr
TArr
is a type that acts as an array of types. It is defined similarly to UInt
, only its
values can be more than bits, and it is designed to act as an array. So you can only add two if
they have the same number of elements, for example.
This array is only really designed to contain Integer
types. If you use it with others, you
may find it lacking functionality.
Trait Implementations
impl<Al, Vl, Ar, Vr> Add<TArr<Vr, Ar>> for TArr<Vl, Al> where
Al: Add<Ar>,
Vl: Add<Vr>,
[src]
Al: Add<Ar>,
Vl: Add<Vr>,
type Output = TArr<<Vl as Add<Vr>>::Output, <Al as Add<Ar>>::Output>
The resulting type after applying the +
operator.
fn add(self, rhs: TArr<Vr, Ar>) -> <TArr<Vl, Al> as Add<TArr<Vr, Ar>>>::Output
[src]
impl<V, A> Clone for TArr<V, A> where
A: Clone,
V: Clone,
[src]
A: Clone,
V: Clone,
impl<V, A> Copy for TArr<V, A> where
A: Copy,
V: Copy,
[src]
A: Copy,
V: Copy,
impl<V, A> Debug for TArr<V, A> where
A: Debug,
V: Debug,
[src]
A: Debug,
V: Debug,
impl<V, A, Rhs> Div<Rhs> for TArr<V, A> where
A: Div<Rhs>,
Rhs: Copy,
V: Div<Rhs>,
[src]
A: Div<Rhs>,
Rhs: Copy,
V: Div<Rhs>,
type Output = TArr<<V as Div<Rhs>>::Output, <A as Div<Rhs>>::Output>
The resulting type after applying the /
operator.
fn div(self, rhs: Rhs) -> <TArr<V, A> as Div<Rhs>>::Output
[src]
impl<V, A> Eq for TArr<V, A> where
A: Eq,
V: Eq,
[src]
A: Eq,
V: Eq,
impl<V, A> Hash for TArr<V, A> where
A: Hash,
V: Hash,
[src]
A: Hash,
V: Hash,
fn hash<__H>(&self, state: &mut __H) where
__H: Hasher,
[src]
__H: Hasher,
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl<V, A> Len for TArr<V, A> where
A: Len,
<A as Len>::Output: Add<B1>,
<<A as Len>::Output as Add<B1>>::Output: Unsigned,
[src]
A: Len,
<A as Len>::Output: Add<B1>,
<<A as Len>::Output as Add<B1>>::Output: Unsigned,
Size of a TypeArray
type Output = <<A as Len>::Output as Add<B1>>::Output
The length as a type-level unsigned integer.
fn len(&self) -> <TArr<V, A> as Len>::Output
[src]
impl<V, A, Rhs> Mul<Rhs> for TArr<V, A> where
A: Mul<Rhs>,
Rhs: Copy,
V: Mul<Rhs>,
[src]
A: Mul<Rhs>,
Rhs: Copy,
V: Mul<Rhs>,
type Output = TArr<<V as Mul<Rhs>>::Output, <A as Mul<Rhs>>::Output>
The resulting type after applying the *
operator.
fn mul(self, rhs: Rhs) -> <TArr<V, A> as Mul<Rhs>>::Output
[src]
impl<V, A, U> Mul<TArr<V, A>> for PInt<U> where
U: Unsigned + NonZero,
PInt<U>: Mul<A>,
PInt<U>: Mul<V>,
[src]
U: Unsigned + NonZero,
PInt<U>: Mul<A>,
PInt<U>: Mul<V>,
type Output = TArr<<PInt<U> as Mul<V>>::Output, <PInt<U> as Mul<A>>::Output>
The resulting type after applying the *
operator.
fn mul(self, rhs: TArr<V, A>) -> <PInt<U> as Mul<TArr<V, A>>>::Output
[src]
impl<V, A, U> Mul<TArr<V, A>> for NInt<U> where
U: Unsigned + NonZero,
NInt<U>: Mul<A>,
NInt<U>: Mul<V>,
[src]
U: Unsigned + NonZero,
NInt<U>: Mul<A>,
NInt<U>: Mul<V>,
type Output = TArr<<NInt<U> as Mul<V>>::Output, <NInt<U> as Mul<A>>::Output>
The resulting type after applying the *
operator.
fn mul(self, rhs: TArr<V, A>) -> <NInt<U> as Mul<TArr<V, A>>>::Output
[src]
impl<V, A> Mul<TArr<V, A>> for Z0 where
Z0: Mul<A>,
[src]
Z0: Mul<A>,
type Output = TArr<Z0, <Z0 as Mul<A>>::Output>
The resulting type after applying the *
operator.
fn mul(self, rhs: TArr<V, A>) -> <Z0 as Mul<TArr<V, A>>>::Output
[src]
impl<V, A> Neg for TArr<V, A> where
A: Neg,
V: Neg,
[src]
A: Neg,
V: Neg,
type Output = TArr<<V as Neg>::Output, <A as Neg>::Output>
The resulting type after applying the -
operator.
fn neg(self) -> <TArr<V, A> as Neg>::Output
[src]
impl<V, A> Ord for TArr<V, A> where
A: Ord,
V: Ord,
[src]
A: Ord,
V: Ord,
fn cmp(&self, other: &TArr<V, A>) -> Ordering
[src]
#[must_use]fn max(self, other: Self) -> Self
1.21.0[src]
#[must_use]fn min(self, other: Self) -> Self
1.21.0[src]
#[must_use]fn clamp(self, min: Self, max: Self) -> Self
[src]
impl<V, A, Rhs> PartialDiv<Rhs> for TArr<V, A> where
A: PartialDiv<Rhs>,
Rhs: Copy,
V: PartialDiv<Rhs>,
[src]
A: PartialDiv<Rhs>,
Rhs: Copy,
V: PartialDiv<Rhs>,
type Output = TArr<<V as PartialDiv<Rhs>>::Output, <A as PartialDiv<Rhs>>::Output>
The type of the result of the division
fn partial_div(self, rhs: Rhs) -> <TArr<V, A> as PartialDiv<Rhs>>::Output
[src]
impl<V, A> PartialEq<TArr<V, A>> for TArr<V, A> where
A: PartialEq<A>,
V: PartialEq<V>,
[src]
A: PartialEq<A>,
V: PartialEq<V>,
impl<V, A> PartialOrd<TArr<V, A>> for TArr<V, A> where
A: PartialOrd<A>,
V: PartialOrd<V>,
[src]
A: PartialOrd<A>,
V: PartialOrd<V>,
fn partial_cmp(&self, other: &TArr<V, A>) -> Option<Ordering>
[src]
fn lt(&self, other: &TArr<V, A>) -> bool
[src]
fn le(&self, other: &TArr<V, A>) -> bool
[src]
fn gt(&self, other: &TArr<V, A>) -> bool
[src]
fn ge(&self, other: &TArr<V, A>) -> bool
[src]
impl<V, A, Rhs> Rem<Rhs> for TArr<V, A> where
A: Rem<Rhs>,
Rhs: Copy,
V: Rem<Rhs>,
[src]
A: Rem<Rhs>,
Rhs: Copy,
V: Rem<Rhs>,
type Output = TArr<<V as Rem<Rhs>>::Output, <A as Rem<Rhs>>::Output>
The resulting type after applying the %
operator.
fn rem(self, rhs: Rhs) -> <TArr<V, A> as Rem<Rhs>>::Output
[src]
impl<V, A> StructuralEq for TArr<V, A>
[src]
impl<V, A> StructuralPartialEq for TArr<V, A>
[src]
impl<Vl, Al, Vr, Ar> Sub<TArr<Vr, Ar>> for TArr<Vl, Al> where
Al: Sub<Ar>,
Vl: Sub<Vr>,
[src]
Al: Sub<Ar>,
Vl: Sub<Vr>,
type Output = TArr<<Vl as Sub<Vr>>::Output, <Al as Sub<Ar>>::Output>
The resulting type after applying the -
operator.
fn sub(self, rhs: TArr<Vr, Ar>) -> <TArr<Vl, Al> as Sub<TArr<Vr, Ar>>>::Output
[src]
impl<V, A> TypeArray for TArr<V, A>
[src]
Auto Trait Implementations
impl<V, A> RefUnwindSafe for TArr<V, A> where
A: RefUnwindSafe,
V: RefUnwindSafe,
A: RefUnwindSafe,
V: RefUnwindSafe,
impl<V, A> Send for TArr<V, A> where
A: Send,
V: Send,
A: Send,
V: Send,
impl<V, A> Sync for TArr<V, A> where
A: Sync,
V: Sync,
A: Sync,
V: Sync,
impl<V, A> Unpin for TArr<V, A> where
A: Unpin,
V: Unpin,
A: Unpin,
V: Unpin,
impl<V, A> UnwindSafe for TArr<V, A> where
A: UnwindSafe,
V: UnwindSafe,
A: UnwindSafe,
V: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<M, N> PartialDiv<N> for M where
M: Integer + Div<N> + Rem<N, Output = Z0>,
[src]
M: Integer + Div<N> + Rem<N, Output = Z0>,
type Output = <M as Div<N>>::Output
The type of the result of the division
fn partial_div(self, rhs: N) -> <M as PartialDiv<N>>::Output
[src]
impl<T> Same<T> for T
[src]
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,