Trait un_algebra::group::add_group::AddGroup

pub trait AddGroup: AddMonoid {
    fn negate(&self) -> Self;

    fn sub(&self, other: &Self) -> Self { ... }
}

An algebraic additive group.

Required methods

fn negate(&self) -> Self

The unique additive inverse of a group element.

Loading content...

Provided methods

fn sub(&self, other: &Self) -> Self

The additive "subtraction" of two group elements.

Loading content...

Implementations on Foreign Types

impl AddGroup for i8

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

impl AddGroup for i16

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

impl AddGroup for i32

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

impl AddGroup for i64

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

impl AddGroup for i128

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

impl AddGroup for isize

fn negate(&self) -> Self

Additive group negation uses "wrapping" negate to avoid overflow and guarantee the closure axiom.

impl AddGroup for f32

fn negate(&self) -> Self

impl AddGroup for f64

fn negate(&self) -> Self

impl AddGroup for ()

0-tuples form an additive group.

fn negate(&self) -> Self

Negated value can only be ().

impl<A: AddGroup> AddGroup for (A,)

1-tuples form an additive group when their items do.

fn negate(&self) -> Self

Negation is by element type.

impl<A: AddGroup, B: AddGroup> AddGroup for (A, B)

2-tuples form an additive group when their items do.

fn negate(&self) -> Self

Negation is by element type.

impl<A: AddGroup, B: AddGroup, C: AddGroup> AddGroup for (A, B, C)

3-tuples form an additive group when their items do.

fn negate(&self) -> Self

Negation is by element type.

impl<T: Copy + AddGroup> AddGroup for [T; 0]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 1]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 2]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 3]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 4]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 5]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 6]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 7]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 8]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 9]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 10]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 11]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 12]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 13]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 14]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 15]

fn negate(&self) -> Self

impl<T: Copy + AddGroup> AddGroup for [T; 16]

fn negate(&self) -> Self

Loading content...

Implementors

Loading content...