alga2 0.1.0

A modern abstract-algebra hierarchy for Rust — the successor to alga, powered by batch-impl
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

//! Operator-closure markers: the type is closed under a std operator.
//!
//! These are the "the operation never leaves the type" certificates that
//! downstream generic code (e.g. vector/geometry algorithms) can bound on.

use core::ops::{
    Add, AddAssign, Div, DivAssign, Mul, MulAssign, Neg, Rem, RemAssign, Sub, SubAssign,
};

/// Closed under `+`/`+=`.
pub trait ClosedAdd<Right = Self>: Sized + Add<Right, Output = Self> + AddAssign<Right> {}

/// Closed under `-`/`-=`.
pub trait ClosedSub<Right = Self>: Sized + Sub<Right, Output = Self> + SubAssign<Right> {}

/// Closed under `*`/`*=`.
pub trait ClosedMul<Right = Self>: Sized + Mul<Right, Output = Self> + MulAssign<Right> {}

/// Closed under `/`/`/=`.
pub trait ClosedDiv<Right = Self>: Sized + Div<Right, Output = Self> + DivAssign<Right> {}

/// Closed under `%`/`%=`.
pub trait ClosedRem<Right = Self>: Sized + Rem<Right, Output = Self> + RemAssign<Right> {}

/// Closed under unary `-`.
pub trait ClosedNeg: Sized + Neg<Output = Self> {}