un_algebra 0.9.0

Simple implementations of selected abstract algebraic structures--including groups, rings, and fields. Intended for self-study of abstract algebra concepts and not for production use.
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

//!
//! Binary relation types.
//!
//! Type aliases for working with algebraic and numeric _binary_
//! _relations_.
//!
//! # References
//!
//! See [references] for a formal definition of a binary relation.
//!
#![doc(include = "../../doc/references.md")]

pub use crate::numeric::*;


///
/// An algebraic binary relation on a set of `T` items.
///
pub type Rel<T> = dyn Fn(&T, &T) -> bool;


///
/// A numeric binary relation on a set of `T` items. The generic type
/// parameter should be `<T: NumEq>`, but generic bounds in this
/// position are unsupported in Rust.
///
pub type NumRel<T> = dyn Fn(&T, &T, &<T as NumEq>::Eps) -> bool;