[][src]Struct unsegen::base::basic_types::PositiveAxisDiff

pub struct PositiveAxisDiff<T: AxisDimension> { /* fields omitted */ }

PositiveAxisDiff (the base for Width or Height) specifies a non-negative (or absolute) difference between two coordinate points on a terminal grid.

Implementations

impl<T: AxisDimension> PositiveAxisDiff<T>[src]

pub fn new_unchecked(v: i32) -> Self[src]

Create a new PositiveAxisDiff from an i32. If v < 0 the behavior is unspecified.

Examples:

use unsegen::base::Width;
let _ = Width::new_unchecked(27); //Ok
let _ = Width::new_unchecked(0); //Ok
// let _ = Width::new_unchecked(-37); //Not allowed!

pub fn new(v: i32) -> Result<Self, ()>[src]

Try to create a new PositiveAxisDiff from an i32. If v < 0 the behavior an error value is returned.

Examples:

use unsegen::base::Width;
assert!(Width::new(27).is_ok());
assert!(Width::new(0).is_ok());
assert!(Width::new(-37).is_err());

pub fn raw_value(self) -> i32[src]

Unpack the PositiveAxisDiff to receive the raw i32 value.

pub fn from_origin(self) -> AxisIndex<T>[src]

Calculate the AxisIndex that has the specified PositiveAxisDiff to the origin (i.e., 0). Technically this just converts an AxisIndex into an PositiveAxisDiff, but is semantically more explicit.

Examples:

use unsegen::base::{ColIndex, Width};
assert_eq!(Width::new(27).unwrap().from_origin(), ColIndex::new(27));

pub fn origin_range_contains(self, i: AxisIndex<T>) -> bool[src]

Check whether the given AxisIndex is in the range [0, self)

Examples:

use unsegen::base::{ColIndex, Width};
assert!(Width::new(37).unwrap().origin_range_contains(ColIndex::new(27)));
assert!(Width::new(37).unwrap().origin_range_contains(ColIndex::new(0)));
assert!(!Width::new(27).unwrap().origin_range_contains(ColIndex::new(27)));
assert!(!Width::new(27).unwrap().origin_range_contains(ColIndex::new(37)));
assert!(!Width::new(27).unwrap().origin_range_contains(ColIndex::new(-37)));

pub fn to_signed(self) -> AxisDiff<T>[src]

Convert the positive axis index into an AxisDiff.

Examples:

use unsegen::base::{ColDiff, Width};
assert_eq!(Width::new(37).unwrap().to_signed(), ColDiff::new(37));

Trait Implementations

impl<T: AxisDimension, I: Into<PositiveAxisDiff<T>>> Add<I> for PositiveAxisDiff<T>[src]

type Output = Self

The resulting type after applying the + operator.

impl<T: AxisDimension, I: Into<PositiveAxisDiff<T>>> AddAssign<I> for PositiveAxisDiff<T>[src]

impl<T: Clone + AxisDimension> Clone for PositiveAxisDiff<T>[src]

impl<T: Copy + AxisDimension> Copy for PositiveAxisDiff<T>[src]

impl<T: Debug + AxisDimension> Debug for PositiveAxisDiff<T>[src]

impl<T: AxisDimension> Div<i32> for PositiveAxisDiff<T>[src]

type Output = AxisDiff<T>

The resulting type after applying the / operator.

impl<T: AxisDimension> Div<usize> for PositiveAxisDiff<T>[src]

type Output = Self

The resulting type after applying the / operator.

impl<T: Eq + AxisDimension> Eq for PositiveAxisDiff<T>[src]

impl<T: AxisDimension> From<usize> for PositiveAxisDiff<T>[src]

impl<T: AxisDimension> Into<AxisDiff<T>> for PositiveAxisDiff<T>[src]

impl<T: AxisDimension> Into<i32> for PositiveAxisDiff<T>[src]

impl<T: AxisDimension> Into<usize> for PositiveAxisDiff<T>[src]

impl<T: AxisDimension> Mul<i32> for PositiveAxisDiff<T>[src]

type Output = AxisDiff<T>

The resulting type after applying the * operator.

impl<T: AxisDimension> Mul<usize> for PositiveAxisDiff<T>[src]

type Output = Self

The resulting type after applying the * operator.

impl<T: Ord + AxisDimension> Ord for PositiveAxisDiff<T>[src]

impl<T: AxisDimension, I: Into<AxisDiff<T>> + Copy> PartialEq<I> for PositiveAxisDiff<T>[src]

impl<T: AxisDimension, I: Into<AxisDiff<T>> + Copy> PartialOrd<I> for PositiveAxisDiff<T>[src]

impl<T: AxisDimension, I: Into<PositiveAxisDiff<T>>> Rem<I> for PositiveAxisDiff<T>[src]

type Output = Self

The resulting type after applying the % operator.

impl<T: AxisDimension> StructuralEq for PositiveAxisDiff<T>[src]

impl<T: AxisDimension, I: Into<AxisDiff<T>>> Sub<I> for PositiveAxisDiff<T>[src]

type Output = AxisDiff<T>

The resulting type after applying the - operator.

impl<T: AxisDimension + PartialOrd + Ord> Sum<PositiveAxisDiff<T>> for PositiveAxisDiff<T>[src]

Auto Trait Implementations

impl<T> RefUnwindSafe for PositiveAxisDiff<T> where
    T: RefUnwindSafe

impl<T> Send for PositiveAxisDiff<T> where
    T: Send

impl<T> Sync for PositiveAxisDiff<T> where
    T: Sync

impl<T> Unpin for PositiveAxisDiff<T> where
    T: Unpin

impl<T> UnwindSafe for PositiveAxisDiff<T> where
    T: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.