pub trait Extend {
type Old;
// Required methods
fn extend<E>(self) -> HMat<E, Self::Old>;
fn extend_with<E, I>(self, iter: I) -> HMat<E, Self::Old>
where I: IntoIterator<Item = Option<E>>;
}
Expand description
Represents a type that can be extended with new types.
Required Associated Types§
Required Methods§
Sourcefn extend<E>(self) -> HMat<E, Self::Old>
fn extend<E>(self) -> HMat<E, Self::Old>
Extends this HMat<T, _>
with a new empty row of type E
, returning HMat<E, HMat<T, _>>
.
Sourcefn extend_with<E, I>(self, iter: I) -> HMat<E, Self::Old>where
I: IntoIterator<Item = Option<E>>,
fn extend_with<E, I>(self, iter: I) -> HMat<E, Self::Old>where
I: IntoIterator<Item = Option<E>>,
Extends this HMat<T, _>
with a new row of type E
, initialized with the given elements, returning HMat<E, HMat<T, _>>
.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.