Struct tylar::Pred

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

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

Trait Implementations

impl<N: Copy> Copy for Pred<N>

impl<N: Clone> Clone for Pred<N>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: PartialEq> PartialEq for Pred<N>

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

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

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

This method tests for !=.

impl<N: Eq> Eq for Pred<N>

impl<N: PartialOrd> PartialOrd for Pred<N>

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

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

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

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

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.

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

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

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.

impl<N: Ord> Ord for Pred<N>

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

This method returns an Ordering between self and other.

impl<N: NumType> NumType for Pred<N>

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.

impl<N: NegType> NegType for Pred<N>

impl<N: NumType> Into<i64> for Pred<N>

fn into(self) -> i64

Performs the conversion.

impl<N: NumType> Into<i32> for Pred<N>

fn into(self) -> i32

Performs the conversion.

impl<N: NumType> Into<i16> for Pred<N>

fn into(self) -> i16

Performs the conversion.

impl<N: NumType> Into<i8> for Pred<N>

fn into(self) -> i8

Performs the conversion.

impl<N: NumType> Into<isize> for Pred<N>

fn into(self) -> isize

Performs the conversion.

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

type Out = Succ<B>

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

impl<A: NegType> Incr for Pred<A>

type Out = A

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

impl<A: NegType> Decr for Pred<A>

type Out = Pred<Pred<A>>

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

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

type Out = A::Out

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

impl<A: NegType, B: NumType> Halve for Pred<Pred<A>> where
    A: Halve<Out = B>, 

type Out = Pred<B>

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

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

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>>, 

type Out = <Succ<P> as Div<Succ<PP>>>::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, 

type Out = <Succ<PPP> as Neg>::Out

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