devela 0.29.0

A development substrate of coherence.
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77

// devela/src/num/quant/_.rs
//
#![doc = crate::_DOC_NUM_QUANT!()] // public
#![doc = crate::_doc!(modules: crate::num; quant)]
#![doc = crate::_doc!(flat:"num")]
#![doc = crate::_doc!(hr)]
//!
//! This module provides interpretation-independent forms for boundedness,
//! proportion, periodicity, sign, and quantified values.
//!
//! ```text
//! Bound + Bound            ──> Interval
//! numerator + denominator  ──> Ratio
//! period                   ──> Cycle
//! Cycle + count            ──> CycleCount
//! value ── classify ─────────> Sign
//! value + quantification   ──> ValueQuant
//! ```
//!
//! - [`Interval`] combines independently open, closed, or unbounded endpoints.
//!
//!   The [`interval!`] macro provides compact notation for constructing those combinations.
//!
//! - [`Ratio`] stores the two terms of a proportional relation.
//!
//!     Its generic form only preserves those terms,
//!     while primitive aliases add nonzero denominators and checked construction.
//!
//! - [`Cycle`] identifies a fundamental period.
//!   [`CycleCount`] combines that period with a finite repetition count.
//!
//!   Neither type represents current phase or progression through the cycle.
//!
//! - [`Sign`] classifies a value as negative, zero, or positive independently of its magnitude.
//!
//! - [`ValueQuant`] pairs a value with an associated quantification
//!   without prescribing what that quantification means.
//!
//! # Boundaries
//!
//! - Numeric representation and arithmetic machinery live elsewhere under [`num`][crate::num].
//! - Stateful phases and periodic progression belong to [`num::signal`][crate::num::signal].
//! - Physical dimensions and units belong to [`phys`][crate::phys].
//! - Spatial interpretation belongs to [`geom`][crate::geom].
//!
//! These types carry quantitative relations, not domain meaning.
//! [`Interval`] does not define iteration over a collection, and
//! [`ValueQuant`] does not validate the relationship between its fields.
//

crate::mods_in! {
    // mod align; // Align
    // mod_ cont; //
    mod cycle; // Cycle, CycleCount
    mod interval; // Interval, interval!
    // mod_ power; // Log, Power, Root
    mod_ ratio; // Ratio[<I|U><8|16|32|64|128>]
    mod_ scale; // Scale
    mod sign; // Sign
    mod value; // ValueQuant
}
crate::mods_out! { // _mods
    _mods {
        #[doc(inline)]
        pub use super::{
            // align::*,
            // cont::_all::*,
            cycle::*,
            interval::{Interval, interval},
            // power::*,
            ratio::_all::*,
            scale::*,
            sign::*,
            value::*,
        };
    }
}