# [−] [src] Trait typenum::type_operators::PartialDiv

    pub trait PartialDiv<Rhs = Self> {
        type Output;
        fn partial_div(self, _: Rhs) -> Self::Output;
    }

Division as a partial function. This type operator performs division just as `Div`, but is only defined when the result is an integer (i.e. there is no remainder).

## Associated Types

### `type Output` [src]

The type of the result of the division

Loading content...

## Required methods

### `fn partial_div(self, _: Rhs) -> Self::Output` [src]

Method for performing the division

Loading content...

## Implementors

### `impl<M, N> PartialDiv<N> for M where
M: Integer + Div<N> + Rem<N, Output = Z0>,` [src]

#### `type Output = Quot<M, N>`

#### `fn partial_div(self, rhs: N) -> Self::Output` [src]

### `impl<Rhs> PartialDiv<Rhs> for ATerm` [src]

#### `type Output = ATerm`

#### `fn partial_div(self, _: Rhs) -> Self::Output` [src]

### `impl<Ul: Unsigned, Bl: Bit, Ur: Unsigned, Br: Bit> PartialDiv<UInt<Ur, Br>> for UInt<Ul, Bl> where
UInt<Ul, Bl>: Div<UInt<Ur, Br>> + Rem<UInt<Ur, Br>, Output = U0>,` [src]

#### `type Output = Quot<UInt<Ul, Bl>, UInt<Ur, Br>>`

#### `fn partial_div(self, rhs: UInt<Ur, Br>) -> Self::Output` [src]

### `impl<Ur: Unsigned, Br: Bit> PartialDiv<UInt<Ur, Br>> for UTerm` [src]

#### `type Output = UTerm`

#### `fn partial_div(self, _: UInt<Ur, Br>) -> Self::Output` [src]

### `impl<V, A, Rhs> PartialDiv<Rhs> for TArr<V, A> where
V: PartialDiv<Rhs>,
A: PartialDiv<Rhs>,
Rhs: Copy,` [src]

#### `type Output = TArr<PartialQuot<V, Rhs>, PartialQuot<A, Rhs>>`

#### `fn partial_div(self, rhs: Rhs) -> Self::Output` [src]

Loading content...