Struct tylar::Pred [−] [src]

pub struct Pred<N> {
    // some fields omitted
}

The predecessor of N, i.e. a negative number.

Trait Implementations

impl<N: Ord> Ord for Pred<N>
[src]

fn cmp(&self, __arg_0: &Pred<N>) -> Ordering

This method returns an Ordering between self and other. Read more

impl<N: PartialOrd> PartialOrd for Pred<N>
[src]

fn partial_cmp(&self, __arg_0: &Pred<N>) -> Option<Ordering>

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

fn lt(&self, __arg_0: &Pred<N>) -> bool

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

fn le(&self, __arg_0: &Pred<N>) -> bool

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

fn gt(&self, __arg_0: &Pred<N>) -> bool

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

fn ge(&self, __arg_0: &Pred<N>) -> bool

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

impl<N: Eq> Eq for Pred<N>
[src]

impl<N: PartialEq> PartialEq for Pred<N>
[src]

fn eq(&self, __arg_0: &Pred<N>) -> bool

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

fn ne(&self, __arg_0: &Pred<N>) -> bool

This method tests for !=.

impl<N: Clone> Clone for Pred<N>
[src]

fn clone(&self) -> Pred<N>

Returns a copy of the value. Read more

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

Performs copy-assignment from source. Read more

impl<N: Copy> Copy for Pred<N>
[src]

impl<N: NumType> NumType for Pred<N>
[src]

fn new() -> Self

Creates a new instance of this number type, which is actually a no-op, since number types are zero-sized. Instances are useful, however, to be converted into actual integer values, using implementations of the Into trait. Read more

impl<N: NegType> NegType for Pred<N>
[src]

impl<N: NumType> Into<i64> for Pred<N>
[src]

fn into(self) -> i64

Performs the conversion.

impl<N: NumType> Into<i32> for Pred<N>
[src]

fn into(self) -> i32

Performs the conversion.

impl<N: NumType> Into<i16> for Pred<N>
[src]

fn into(self) -> i16

Performs the conversion.

impl<N: NumType> Into<i8> for Pred<N>
[src]

fn into(self) -> i8

Performs the conversion.

impl<N: NumType> Into<isize> for Pred<N>
[src]

fn into(self) -> isize

Performs the conversion.

impl<A: NegType, B: PosType> Neg for Pred<A> where A: Neg<Out=B>
[src]

type Out = Succ<B>

Result of the operation, i.e. Out = –Self.

impl<A: NegType> Incr for Pred<A>
[src]

type Out = A

Result of the operation, i.e. Out = Self + 1.

impl<A: NegType> Decr for Pred<A>
[src]

type Out = Pred<Pred<A>>

Result of the operation, i.e. Out = Self – 1.

impl<A: NegType, RHS, B> Add<RHS> for Pred<A> where RHS: Decr<Out=B>, A: Add<B>
[src]

type Out = A::Out

Result of the operation, i.e. Out = Self + RHS.

impl<A: NegType, B> Halve for Pred<Pred<A>> where A: Halve<Out=B>
[src]

type Out = Pred<B>

Result of the operation, i.e. Out = Self / 2.

impl<A: NegType, RHS, B, C> Mul<RHS> for Pred<A> where A: Mul<RHS, Out=C>, RHS: Neg<Out=B>, B: Add<C>
[src]

type Out = B::Out

Result of the operation, i.e. Out = Self * RHS.

impl<N: NegType, NN: NegType, P: PosType, PP: PosType> Div<Pred<NN>> for Pred<N> where N: Neg<Out=P>, NN: Neg<Out=PP>, Succ<P>: Div<Succ<PP>>
[src]

type Out = Succ<P>::Out

Result of the operation, i.e. Out = Self / RHS.

impl<P: NumType, N: NegType, PP: NumType, PPP: NumType> Div<Succ<P>> for Pred<N> where N: Neg<Out=PP>, Succ<PP>: Div<Succ<P>, Out=Succ<PPP>>, Succ<PPP>: Neg
[src]

type Out = Succ<PPP>::Out

Result of the operation, i.e. Out = Self / RHS.