1#![cfg_attr(docsrs, feature(doc_cfg))]
2#![cfg_attr(not(stageleft_trybuild), warn(missing_docs))]
3
4stageleft::stageleft_no_entry_crate!();
16
17#[cfg(feature = "runtime_support")]
18#[cfg_attr(docsrs, doc(cfg(feature = "runtime_support")))]
19#[doc(hidden)]
20pub mod runtime_support {
21 pub use ::{bincode, dfir_rs, slotmap, stageleft, tokio};
22 #[cfg(feature = "sim")]
23 pub use colored;
24 #[cfg(feature = "deploy_integration")]
25 pub use hydro_deploy_integration;
26
27 #[cfg(any(feature = "deploy_integration", feature = "docker_runtime"))]
28 pub mod launch;
29}
30
31#[doc(hidden)]
32pub mod macro_support {
33 pub use copy_span;
34}
35
36pub mod prelude {
37 pub use stageleft::q;
49
50 pub use crate::compile::builder::FlowBuilder;
51 pub use crate::live_collections::boundedness::{Bounded, Unbounded};
52 pub use crate::live_collections::keyed_singleton::KeyedSingleton;
53 pub use crate::live_collections::keyed_stream::KeyedStream;
54 pub use crate::live_collections::optional::Optional;
55 pub use crate::live_collections::singleton::Singleton;
56 pub use crate::live_collections::sliced::sliced;
57 pub use crate::live_collections::stream::Stream;
58 pub use crate::location::{Cluster, External, Location as _, Process, Tick};
59 pub use crate::networking::TCP;
60 pub use crate::nondet::{NonDet, nondet};
61 pub use crate::properties::{ConsistencyProof, ManualProof, manual_proof};
62
63 #[macro_export]
65 macro_rules! setup {
66 () => {
67 stageleft::stageleft_no_entry_crate!();
68
69 #[cfg(test)]
70 mod test_init {
71 #[ctor::ctor]
72 fn init() {
73 $crate::compile::init_test();
74 }
75 }
76 };
77 }
78}
79
80#[cfg(feature = "dfir_context")]
81#[cfg_attr(docsrs, doc(cfg(feature = "dfir_context")))]
82pub mod runtime_context;
83
84pub mod nondet;
85
86pub mod live_collections;
87
88pub mod location;
89
90pub mod networking;
91
92pub mod properties;
93
94pub mod telemetry;
95
96#[cfg(any(
97 feature = "deploy",
98 feature = "deploy_integration" ))]
100#[cfg_attr(docsrs, doc(cfg(feature = "deploy")))]
101pub mod deploy;
102
103#[cfg(feature = "sim")]
104#[cfg_attr(docsrs, doc(cfg(feature = "sim")))]
105pub mod sim;
106
107pub mod forward_handle;
108
109pub mod compile;
110
111pub mod handoff_ref;
112
113mod manual_expr;
114
115#[cfg(stageleft_runtime)]
116#[cfg(feature = "viz")]
117#[cfg_attr(docsrs, doc(cfg(feature = "viz")))]
118#[expect(missing_docs, reason = "TODO")]
119pub mod viz;
120
121#[cfg_attr(
122 feature = "stageleft_macro_entrypoint",
123 expect(missing_docs, reason = "staging internals")
124)]
125mod staging_util;
126
127#[cfg(feature = "deploy")]
128#[cfg_attr(docsrs, doc(cfg(feature = "deploy")))]
129pub mod test_util;
130
131#[cfg(feature = "build")]
132#[ctor::ctor]
133fn init_rewrites() {
134 stageleft::add_private_reexport(
135 vec!["tokio_util", "codec", "lines_codec"],
136 vec!["tokio_util", "codec"],
137 );
138 stageleft::add_private_reexport(
140 vec!["core", "iter", "sources", "empty"],
141 vec!["std", "iter"],
142 );
143}
144
145#[cfg(all(test, feature = "trybuild"))]
146mod test_init {
147 #[ctor::ctor]
148 fn init() {
149 crate::compile::init_test();
150 }
151}
152
153#[doc(hidden)]
166#[macro_export]
167macro_rules! newtype_counter {
168 (
169 $(
170 $( #[$attr:meta] )*
171 $vis:vis struct $name:ident($typ:ty);
172 )*
173 ) => {
174 $(
175 $( #[$attr] )*
176 #[repr(transparent)]
177 #[derive(Clone, Copy, Debug, Default, Eq, Hash, Ord, PartialEq, PartialOrd)]
178 $vis struct $name($typ);
179
180 #[allow(clippy::allow_attributes, dead_code, reason = "macro-generated methods may be unused")]
181 impl $name {
182 pub fn get_and_increment(&mut self) -> Self {
184 let id = self.0;
185 self.0 += 1;
186 Self(id)
187 }
188
189 pub fn range_up_to(&self) -> impl std::iter::DoubleEndedIterator<Item = Self>
193 + std::iter::FusedIterator
194 {
195 (0..self.0).map(Self)
196 }
197
198 pub fn into_inner(self) -> $typ {
200 self.0
201 }
202 }
203
204 impl std::fmt::Display for $name {
205 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
206 write!(f, "{}", self.0)
207 }
208 }
209
210 impl serde::ser::Serialize for $name {
211 fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
212 where
213 S: serde::Serializer
214 {
215 serde::ser::Serialize::serialize(&self.0, serializer)
216 }
217 }
218
219 impl<'de> serde::de::Deserialize<'de> for $name {
220 fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
221 where
222 D: serde::Deserializer<'de>
223 {
224 serde::de::Deserialize::deserialize(deserializer).map(Self)
225 }
226 }
227 )*
228 };
229}