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
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

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

/// Additive annotation domains and deterministic annotated relation support.
pub mod annotated;
/// Core unary, binary, and n-ary relation types.
pub mod core;
/// Prelude with the most commonly used imports.
pub mod prelude;
/// Deterministic provenance support for exact facts.
pub mod provenance;
/// Deterministic temporal interval and valid-time foundations.
pub mod temporal;
/// Traits shared by relation types.
pub mod traits;

/// Finite binary relation type.
pub use crate::core::BinaryRelation;
/// Deterministic explicit finite carrier distinct from inferred tuple support.
pub use crate::core::FiniteCarrier;
/// Deterministic exact grouping of an n-ary relation.
pub use crate::core::GroupedRelation;
/// Deterministic exact n-ary relation with a named schema.
pub use crate::core::NaryRelation;
/// Errors returned by n-ary relation validation and schema-aware operations.
pub use crate::core::NaryRelationError;
/// Finite unary relation type.
pub use crate::core::UnaryRelation;
/// Shared exact-support capability for add-on relation surfaces.
pub use crate::traits::ExactSupport;
/// Shared trait for finite relations.
pub use crate::traits::FiniteRelation;
/// Shared read-only view for deterministic exact relation iteration.
pub use crate::traits::RelationView;
/// Shared binary exact-support materialization capability.
pub use crate::traits::ToExactBinaryRelation;
/// Shared n-ary exact-support materialization capability.
pub use crate::traits::ToExactNaryRelation;
/// Shared unary exact-support materialization capability.
pub use crate::traits::ToExactUnaryRelation;