Trait SubspaceId

Source
pub trait SubspaceId:
    Ord
    + Default
    + Clone
    + Debug {
    // Required method
    fn successor(&self) -> Option<Self>;
}
Expand description

A type for identifying subspaces.

Definition.

§Implementation notes

The Default implementation must return the least element in the total order of SubspaceId.

Required Methods§

Source

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.

Implementors§