Trait ToTotalOrd

pub trait ToTotalOrd {
    type TotalOrdItem: Hash + Eq;
    type SourceItem;

    // Required methods
    fn to_total_ord(&self) -> Self::TotalOrdItem;
    fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem;
}

This elides creating a TotalOrdWrap for types that don’t need it.

Required Associated Types

type TotalOrdItem: Hash + Eq

type SourceItem

Required Methods

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

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 ToTotalOrd for bool

type TotalOrdItem = bool

type SourceItem = bool

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for char

type TotalOrdItem = char

type SourceItem = char

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for f32

type TotalOrdItem = TotalOrdWrap<f32>

type SourceItem = f32

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for f64

type TotalOrdItem = TotalOrdWrap<f64>

type SourceItem = f64

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for i8

type TotalOrdItem = i8

type SourceItem = i8

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for i16

type TotalOrdItem = i16

type SourceItem = i16

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for i32

type TotalOrdItem = i32

type SourceItem = i32

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for i64

type TotalOrdItem = i64

type SourceItem = i64

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for i128

type TotalOrdItem = i128

type SourceItem = i128

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for isize

type TotalOrdItem = isize

type SourceItem = isize

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for u8

type TotalOrdItem = u8

type SourceItem = u8

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for u16

type TotalOrdItem = u16

type SourceItem = u16

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for u32

type TotalOrdItem = u32

type SourceItem = u32

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for u64

type TotalOrdItem = u64

type SourceItem = u64

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for u128

type TotalOrdItem = u128

type SourceItem = u128

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for usize

type TotalOrdItem = usize

type SourceItem = usize

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl ToTotalOrd for String

type TotalOrdItem = String

type SourceItem = String

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl<'a> ToTotalOrd for &'a str

type TotalOrdItem = &'a str

type SourceItem = &'a str

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl<'a> ToTotalOrd for &'a [u8]

type TotalOrdItem = &'a [u8]

type SourceItem = &'a [u8]

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl<T: Copy + TotalEq + TotalHash> ToTotalOrd for Option<T>

This is safe without needing to map the option value to TotalOrdWrap, since for example: TotalOrdWrap<Option<T>> implements Eq + Hash, iff: Option<T> implements TotalEq + TotalHash, iff: T implements TotalEq + TotalHash

type TotalOrdItem = TotalOrdWrap<Option<T>>

type SourceItem = Option<T>

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

impl<T: ToTotalOrd> ToTotalOrd for &T

type TotalOrdItem = <T as ToTotalOrd>::TotalOrdItem

type SourceItem = <T as ToTotalOrd>::SourceItem

fn to_total_ord(&self) -> Self::TotalOrdItem

fn peel_total_ord(ord_item: Self::TotalOrdItem) -> Self::SourceItem

Implementors

impl<'a> ToTotalOrd for BytesHash<'a>

type TotalOrdItem = BytesHash<'a>

type SourceItem = BytesHash<'a>