relmath-rs 0.1.0

Relation-first mathematics and scientific computing in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#![forbid(unsafe_code)]
#![deny(missing_docs)]
#![doc = include_str!("../README.md")]

/// Core unary and binary relation types.
pub mod core;
/// Prelude with the most commonly used imports.
pub mod prelude;
/// Traits shared by relation types.
pub mod traits;

/// Finite binary relation type.
pub use crate::core::BinaryRelation;
/// Finite unary relation type.
pub use crate::core::UnaryRelation;
/// Shared trait for finite relations.
pub use crate::traits::FiniteRelation;