Trait MyTrait

pub trait MyTrait<'a>: Ord {
    type Owned;

    // Required methods
    fn into_owned(self) -> Self::Owned;
    fn clone_onto(&self, other: &mut Self::Owned);
    fn compare(&self, other: &Self::Owned) -> Ordering;
    fn borrow_as(other: &'a Self::Owned) -> Self;

    // Provided methods
    fn less_equals(&self, other: &Self::Owned) -> bool { ... }
    fn equals(&self, other: &Self::Owned) -> bool { ... }
    fn less_than(&self, other: &Self::Owned) -> bool { ... }
}

A type that may be converted into and compared with another type.

The type must also be comparable with itself, and follow the same order as if converting instances to T and comparing the results.

Required Associated Types

type Owned

Owned type into which this type can be converted.

Required Methods

fn into_owned(self) -> Self::Owned

Conversion from an instance of this type to the owned type.

fn clone_onto(&self, other: &mut Self::Owned)

fn compare(&self, other: &Self::Owned) -> Ordering

Indicates that self <= other; used for sorting.

fn borrow_as(other: &'a Self::Owned) -> Self

Borrows an owned instance as onesself.

Provided Methods

fn less_equals(&self, other: &Self::Owned) -> bool

self <= other

fn equals(&self, other: &Self::Owned) -> bool

self == other

fn less_than(&self, other: &Self::Owned) -> bool

self < other

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.

Implementations on Foreign Types

impl<'a, T: Ord + ToOwned + ?Sized> MyTrait<'a> for &'a T

type Owned = <T as ToOwned>::Owned

fn into_owned(self) -> Self::Owned

fn clone_onto(&self, other: &mut Self::Owned)

fn compare(&self, other: &Self::Owned) -> Ordering

fn borrow_as(other: &'a Self::Owned) -> Self

Implementors

impl<'a, B: Ord + Clone> MyTrait<'a> for Greetings<'a, B>

type Owned = Vec<B>