relmath-rs 0.7.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

//! Shared traits for relation types and explicit capability boundaries.

mod exact_support;
mod finite_relation;
mod relation_view;

/// Shared exact-support and materialization capability traits for add-on
/// relation surfaces.
pub use exact_support::{
    ExactSupport, ToExactBinaryRelation, ToExactNaryRelation, ToExactUnaryRelation,
};
/// Shared trait for finite relations.
pub use finite_relation::FiniteRelation;
/// Shared read-only view for deterministic exact relation iteration.
pub use relation_view::RelationView;