Struct tylar::Succ

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

The successor of N, i.e. a positive number.

Trait Implementations

impl<N: Copy> Copy for Succ<N>

impl<N: Clone> Clone for Succ<N>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: PartialEq> PartialEq for Succ<N>

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

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

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

This method tests for !=.

impl<N: Eq> Eq for Succ<N>

impl<N: PartialOrd> PartialOrd for Succ<N>

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

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

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

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

fn le(&self, __arg_0: &Succ<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: &Succ<N>) -> bool

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

fn ge(&self, __arg_0: &Succ<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 Succ<N>

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

This method returns an Ordering between self and other.

impl<N: NumType> NumType for Succ<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: PosType> PosType for Succ<N>

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

fn into(self) -> i64

Performs the conversion.

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

fn into(self) -> i32

Performs the conversion.

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

fn into(self) -> i16

Performs the conversion.

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

fn into(self) -> i8

Performs the conversion.

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

fn into(self) -> isize

Performs the conversion.

impl<N: PosType> Into<u64> for Succ<N>

fn into(self) -> u64

Performs the conversion.

impl<N: PosType> Into<u32> for Succ<N>

fn into(self) -> u32

Performs the conversion.

impl<N: PosType> Into<u16> for Succ<N>

fn into(self) -> u16

Performs the conversion.

impl<N: PosType> Into<u8> for Succ<N>

fn into(self) -> u8

Performs the conversion.

impl<N: PosType> Into<usize> for Succ<N>

fn into(self) -> usize

Performs the conversion.

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

type Out = Pred<B>

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

impl<A: PosType> Incr for Succ<A>

type Out = Succ<Succ<A>>

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

impl<A: PosType> Decr for Succ<A>

type Out = A

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

impl<A: PosType, RHS, B: NumType> Add<RHS> for Succ<A> where
    RHS: Incr<Out = B>,
    A: Add<B>, 

type Out = A::Out

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

impl<A: PosType, B: NumType> Halve for Succ<Succ<A>> where
    A: Halve<Out = B>, 

type Out = Succ<B>

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

impl<A: PosType, RHS, B: NumType> Mul<RHS> for Succ<A> where
    A: Mul<RHS, Out = B>,
    RHS: Add<B>, 

type Out = RHS::Out

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

impl<A: NumType, B: NumType, C: NumType> Div<Succ<B>> for Succ<A> where
    A: Sub<B, Out = C>,
    C: Div<Succ<B>>, 

type Out = Succ<C::Out>

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

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

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

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