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
27
28
29
30
31
32

//!
//! Type aliases for algebraic structure axioms.
//!
//! Most of the `un_algebra` algebraic structure trait axioms have
//! tediously repetitive parameter lists. The type aliases provided
//! here are used to group parameters into more convenient tuples of
//! values.
//!
//! # Note
//!
//! Rust requires _explicit_ _lifetimes_ for tuples of generic
//! reference types.
//!
use numeric::equal::*;


/// A 2-tuple of `T` references.
pub type Pair<'a, T> = (&'a T, &'a T);


/// A 2-tuple of `T` references--augmented with a numeric comparison
/// error term.
pub type NumPair<'a, T> = (&'a T, &'a T, &'a <T as NumEq>::Error);


/// A 3-tuple of `T` references.
pub type Triple<'a, T> = (&'a T, &'a T, &'a T);


/// A 3-tuple of `T` references--augmented with a numeric comparison
/// error term.
pub type NumTriple<'a, T> = (&'a T, &'a T, &'a T, &'a <T as NumEq>::Error);