Trait opendp::traits::TotalOrd [−][src]
pub trait TotalOrd: PartialOrd + Sized {
fn total_cmp(&self, other: &Self) -> Fallible<Ordering>;
fn total_max(self, other: Self) -> Fallible<Self> { ... }
fn total_min(self, other: Self) -> Fallible<Self> { ... }
fn total_clamp(self, min: Self, max: Self) -> Fallible<Self> { ... }
}
Expand description
TotalOrd is well-defined on types that are Ord on their non-null values. The framework provides a way to ensure values are non-null at runtime. This trait should only be used when the framework can rely on these assurances.