dol 0.8.1

DOL (Design Ontology Language) - A declarative specification language for ontology-first development
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152

// ═══════════════════════════════════════════════════════════════════════════════
// Physics Spirit - Library Entry Point
// DOL v0.9.0
// ═══════════════════════════════════════════════════════════════════════════════

module physics @ 0.9.0

docs {
    Physics Spirit library entry point.

    This module re-exports all public physics modules for convenient access.
    Users can either import the entire physics namespace or specific modules.

    Example usage:
        // Import entire physics library
        use local::physics

        // Or import specific modules
        use local::physics::particles
        use local::physics::mechanics
        use local::physics::thermodynamics
}

// ─────────────────────────────────────────────────────────────────────────────
// Re-exports from submodules
// ─────────────────────────────────────────────────────────────────────────────

use local::particles
use local::mechanics
use local::thermodynamics
use local::waves
use local::quantum
use local::constants

// ─────────────────────────────────────────────────────────────────────────────
// Physical Constants
// ─────────────────────────────────────────────────────────────────────────────

docs {
    Speed of light in vacuum (m/s).
}

pub const SPEED_OF_LIGHT: f64 = 299792458.0

docs {
    Planck's constant (J·s).
}

pub const PLANCK_CONSTANT: f64 = 6.62607015e-34

docs {
    Reduced Planck's constant (ħ = h/2π) in J·s.
}

pub const HBAR: f64 = 1.054571817e-34

docs {
    Elementary charge (Coulombs).
}

pub const ELEMENTARY_CHARGE: f64 = 1.602176634e-19

docs {
    Boltzmann constant (J/K).
}

pub const BOLTZMANN_CONSTANT: f64 = 1.380649e-23

docs {
    Avogadro's number (particles/mol).
}

pub const AVOGADRO_NUMBER: f64 = 6.02214076e23

docs {
    Universal gas constant (J/(mol·K)).
}

pub const GAS_CONSTANT: f64 = 8.314462618

docs {
    Gravitational constant (m³/(kg·s²)).
}

pub const GRAVITATIONAL_CONSTANT: f64 = 6.67430e-11

docs {
    Electron mass (kg).
}

pub const ELECTRON_MASS: f64 = 9.1093837015e-31

docs {
    Proton mass (kg).
}

pub const PROTON_MASS: f64 = 1.67262192369e-27

docs {
    Neutron mass (kg).
}

pub const NEUTRON_MASS: f64 = 1.67492749804e-27

// ─────────────────────────────────────────────────────────────────────────────
// Utility Types
// ─────────────────────────────────────────────────────────────────────────────

docs {
    Result type for physics calculations that may fail.
}

pub gen PhysicsResult<T> {
    has value: Option<T>
    has error: Option<string>
    has warning: Option<string>
}

docs {
    Create a successful physics result.
}

pub fun ok<T>(value: T) -> PhysicsResult<T> {
    return PhysicsResult {
        value: Some(value),
        error: None,
        warning: None
    }
}

docs {
    Create an error physics result.
}

pub fun err<T>(message: string) -> PhysicsResult<T> {
    return PhysicsResult {
        value: None,
        error: Some(message),
        warning: None
    }
}

docs {
    Check if a physics result is successful.
}

pub fun is_ok<T>(result: PhysicsResult<T>) -> bool {
    match result.value {
        Some(_) => true,
        None => false
    }
}