Trait verified::Abs

pub trait Abs {
    type Output;
}

A type operator that returns the absolute value.

Example

use typenum::{Abs, N5, Integer};

assert_eq!(<N5 as Abs>::Output::to_i32(), 5);

Associated Types

type Output

The absolute value.

Loading content...

Implementors

impl Abs for Z0

type Output = Z0

impl<U> Abs for NInt<U> where
    U: NonZero + Unsigned, 

type Output = PInt<U>

impl<U> Abs for PInt<U> where
    U: NonZero + Unsigned, 

type Output = PInt<U>

Loading content...