arcmo_example/
arcmo_example.rs1use sovran_arc::arcmo::Arcmo;
2
3fn main() {
4 println!("=== Creating Arcmo instances ===");
5 let v = Arcmo::some(42);
7 println!("Created with some: v = {:?}", v);
8
9 let default: Arcmo<i32> = Arcmo::default();
11 println!("Created with default: default = {:?}", default);
12
13 let none: Arcmo<i32> = Arcmo::none();
15 println!("Created as none: none = {:?}", none);
16
17 println!("\n=== Basic value operations ===");
18 println!("v.value() = {:?}", v.value());
19 println!("v.is_some() = {}", v.is_some());
20 println!("v.is_none() = {}", v.is_none());
21
22 println!("\n=== Modification ===");
23 v.modify(|x| *x += 1);
25 println!("After v += 1: {:?}", v.value());
26
27 v.modify(|x| *x *= 2);
28 println!("After v *= 2: {:?}", v.value());
29
30 none.modify(|x| *x = 100);
32 println!("After trying to modify None: {:?}", none.value());
33
34 println!("\n=== Multiple references ===");
35 let v2 = v.clone();
36 v.modify(|x| *x += 5);
37 println!("Modified through v: {:?}", v.value());
38 println!("Observed through v2: {:?}", v2.value());
39
40 println!("\n=== Weak references ===");
41 let weak = v.downgrade();
42 println!("Weak reference: {:?}", weak);
43 println!("weak.value() = {:?}", weak.value());
44 println!("weak.is_some() = {}", weak.is_some());
45 println!("weak.is_none() = {}", weak.is_none());
46
47 weak.modify(|x| *x += 10);
49 println!("\nAfter weak modify:");
50 println!("Observed through strong ref: {:?}", v.value());
51 println!("Observed through weak ref: {:?}", weak.value());
52
53 println!("\n=== Take and Replace operations ===");
54 println!("Taking value from v: {:?}", v.take());
55 println!("After take:");
56 println!("v.is_none() = {}", v.is_none());
57 println!("weak.is_none() = {}", weak.is_none());
58
59 println!("\nReplacing with new value:");
60 let previous = v.replace(100);
61 println!("Previous value: {:?}", previous);
62 println!("New value through v: {:?}", v.value());
63 println!("New value through weak: {:?}", weak.value());
64
65 println!("\n=== Weak reference behavior when strong ref is dropped ===");
66 {
67 let temp = Arcmo::some(999);
68 let weak_temp = temp.downgrade();
69 println!("Before drop - weak_temp.value() = {:?}", weak_temp.value());
70 drop(temp);
71 println!("After drop - weak_temp.value() = {:?}", weak_temp.value());
72 }
73
74 println!("\n=== Complex type example ===");
75 let vec_arcmo = Arcmo::some(vec![1, 2, 3]);
76 println!("Vector Arcmo: {:?}", vec_arcmo);
77
78 vec_arcmo.modify(|v| v.push(4));
79 println!("After push: {:?}", vec_arcmo.value());
80
81 let weak_vec = vec_arcmo.downgrade();
82 weak_vec.modify(|v| v.extend_from_slice(&[5, 6]));
83 println!("After weak modify: {:?}", vec_arcmo.value());
84
85 println!("\n=== Default for different types ===");
86 let default_vec: Arcmo<Vec<i32>> = Arcmo::default();
87 let default_string: Arcmo<String> = Arcmo::default();
88 println!("Default Vec<i32>: {:?}", default_vec);
89 println!("Default String: {:?}", default_string);
90}