pub trait SubspaceId:
Ord
+ Default
+ Clone
+ Debug {
// Required method
fn successor(&self) -> Option<Self>;
}
Expand description
A type for identifying subspaces.
§Implementation notes
The Default
implementation must return the least element in the total order of SubspaceId
.
Required Methods§
Sourcefn successor(&self) -> Option<Self>
fn successor(&self) -> Option<Self>
Returns the next possible value in the set of all SubspaceId
, i.e. the (unique) least value that is strictly greater than self
. Only if there is no greater value at all may this method return None
.
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.