Type Alias NonPositive

pub type NonPositive<Input> = Sigma<Input, NonPositiveInvariant<Input>>;

Non-positive terms (defined by comparison to zero).

Aliased Type

struct NonPositive<Input> { /* private fields */ }

Trait Implementations

impl<L: PartialOrd + Zero + Debug + Div<R, Output: PartialOrd + Zero + Debug>, R: PartialOrd + Zero + Debug> Div<Sigma<R, NegativeInvariant<R>>> for NonPositive<L>

type Output = Sigma<<L as Div<R>>::Output, NonNegativeInvariant<<L as Div<R>>::Output>>

The resulting type after applying the / operator.

fn div(self, rhs: Negative<R>) -> Self::Output

Performs the / operation.

impl<L: PartialOrd + Zero + Debug + Div<R, Output: PartialOrd + Zero + Debug>, R: PartialOrd + Zero + Debug> Div<Sigma<R, PositiveInvariant<R>>> for NonPositive<L>

type Output = Sigma<<L as Div<R>>::Output, NonPositiveInvariant<<L as Div<R>>::Output>>

The resulting type after applying the / operator.

fn div(self, rhs: Positive<R>) -> Self::Output

Performs the / operation.

impl<L: PartialOrd + Zero + Debug + Mul<R, Output: PartialOrd + Zero + Debug>, R: PartialOrd + Zero + Debug> Mul<Sigma<R, NegativeInvariant<R>>> for NonPositive<L>

type Output = Sigma<<L as Mul<R>>::Output, NonNegativeInvariant<<L as Mul<R>>::Output>>

The resulting type after applying the * operator.

fn mul(self, rhs: Negative<R>) -> Self::Output

Performs the * operation.

impl<L: PartialOrd + Zero + Debug + Mul<R, Output: PartialOrd + Zero + Debug>, R: PartialOrd + Zero + Debug> Mul<Sigma<R, NonNegativeInvariant<R>>> for NonPositive<L>

type Output = Sigma<<L as Mul<R>>::Output, NonPositiveInvariant<<L as Mul<R>>::Output>>

The resulting type after applying the * operator.

fn mul(self, rhs: NonNegative<R>) -> Self::Output

Performs the * operation.

impl<L: PartialOrd + Zero + Debug + Mul<R, Output: PartialOrd + Zero + Debug>, R: PartialOrd + Zero + Debug> Mul<Sigma<R, NonPositiveInvariant<R>>> for NonPositive<L>

type Output = Sigma<<L as Mul<R>>::Output, NonNegativeInvariant<<L as Mul<R>>::Output>>

The resulting type after applying the * operator.

fn mul(self, rhs: NonPositive<R>) -> Self::Output

Performs the * operation.

impl<L: PartialOrd + Zero + Debug + Mul<R, Output: PartialOrd + Zero + Debug>, R: PartialOrd + Zero + Debug> Mul<Sigma<R, PositiveInvariant<R>>> for NonPositive<L>

type Output = Sigma<<L as Mul<R>>::Output, NonPositiveInvariant<<L as Mul<R>>::Output>>

The resulting type after applying the * operator.

fn mul(self, rhs: Positive<R>) -> Self::Output

Performs the * operation.

impl<Raw: PartialOrd + Zero + Debug + Neg> Neg for NonPositive<Raw>

where Raw::Output: PartialOrd + Zero + Debug,

type Output = Sigma<<Raw as Neg>::Output, NonNegativeInvariant<<Raw as Neg>::Output>>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.