Struct inter_val::HalfBounded

pub struct HalfBounded<T, B, LR>(/* private fields */);

Implementations

impl<T, B, LR> HalfBounded<T, B, LR>

pub fn cast<U: From<T>>(self) -> HalfBounded<U, B, LR>

impl<T: NumCast, B, LR> HalfBounded<T, B, LR>

pub fn try_cast<U: NumCast>(self) -> Option<HalfBounded<U, B, LR>>

impl<T: PartialOrd, B: BoundaryOf<Left>> HalfBounded<T, B, Left>

pub fn includes(&self, other: &Self) -> bool

pub fn contains(&self, t: &T) -> bool

pub fn intersection<'a>(&'a self, other: &'a Self) -> &'a Self

pub fn union<'a>(&'a self, other: &'a Self) -> &'a Self

pub fn hull(self, t: T) -> Self

pub fn dilate(self, delta: T) -> Self

where T: Sub<Output = T>,

pub fn inf(&self) -> &T

pub fn closure(self) -> LeftBounded<T, Inclusive>

pub fn interior(self) -> LeftBounded<T, Exclusive>

pub fn ceil(&self) -> T

where Bound<T, B>: Ceil<T>,

use inter_val::{LeftBounded, Inclusive, Exclusive};
let a: LeftBounded<_, _> = Inclusive.at(4).into();
let b: LeftBounded<_, _> = Exclusive.at(4).into();
let c: LeftBounded<_, _> = Inclusive.at(1.23).into();
assert_eq!(a.ceil(), 4);
assert_eq!(b.ceil(), 5);
assert_eq!(c.ceil(), 2.0);

impl<T: PartialOrd, B: BoundaryOf<Right>> HalfBounded<T, B, Right>

pub fn includes(&self, other: &Self) -> bool

pub fn contains(&self, t: &T) -> bool

pub fn intersection<'a>(&'a self, other: &'a Self) -> &'a Self

pub fn union<'a>(&'a self, other: &'a Self) -> &'a Self

pub fn hull(self, t: T) -> Self

pub fn dilate(self, delta: T) -> Self

where T: Add<Output = T>,

pub fn sup(&self) -> &T

pub fn closure(self) -> RightBounded<T, Inclusive>

pub fn floor(&self) -> T

where Bound<T, B>: Floor<T>,

use inter_val::{RightBounded, Inclusive, Exclusive};
let a : RightBounded<_, _> = Inclusive.at(7).into();
let b : RightBounded<_, _> = Exclusive.at(7).into();
let c : RightBounded<_, _> = Inclusive.at(4.56).into();
assert_eq!(a.floor(), 7);
assert_eq!(b.floor(), 6);
assert_eq!(c.floor(), 4.0);

pub fn interior(self) -> RightBounded<T, Exclusive>

Trait Implementations

impl<T: Clone, B: Clone, LR: Clone> Clone for HalfBounded<T, B, LR>

fn clone(&self) -> HalfBounded<T, B, LR>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug, B: Debug, LR: Debug> Debug for HalfBounded<T, B, LR>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, B, LR> Deref for HalfBounded<T, B, LR>

type Target = Bound<T, B>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<T, B, LR> DerefMut for HalfBounded<T, B, LR>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<T, B, LR> From<Bound<T, B>> for HalfBounded<T, B, LR>

fn from(b: Bound<T, B>) -> Self

Converts to this type from the input type.

impl<T: PartialEq, B: PartialEq, LR> PartialEq for HalfBounded<T, B, LR>

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

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: PartialOrd, B: BoundaryOf<LR>, LR> PartialOrd for HalfBounded<T, B, LR>

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T: Copy, B: Copy, LR: Copy> Copy for HalfBounded<T, B, LR>

impl<T: Eq, B: Eq, LR> Eq for HalfBounded<T, B, LR>