Crate hydro_lang

Crate hydro_lang 

Source

Re-exports§

pub use runtime_context::RUNTIME_CONTEXT;dfir_context
pub use boundedness::Bounded;
pub use boundedness::Unbounded;
pub use stream::NoOrder;
pub use stream::Stream;
pub use stream::TotalOrder;
pub use keyed_stream::KeyedStream;
pub use singleton::Singleton;
pub use optional::Optional;
pub use location::cluster::CLUSTER_SELF_ID;
pub use location::Atomic;
pub use location::Cluster;
pub use location::External;
pub use location::Location;
pub use location::MemberId;
pub use location::NetworkHint;
pub use location::Process;
pub use location::Tick;
pub use builder::FlowBuilder;
pub use unsafety::*;

Modules§

backtrace
boundedness
builder
cycle
deploybuild
deploy_runtime
graph
Graph visualization utilities for Hydro IR
graph_utilviz
ir
keyed_singleton
keyed_stream
location
optional
rewrites
runtime_contextdfir_context
singleton
stream
test_utildeploy
unsafety

Macros§

nondet
Fulfills a non-determinism guard parameter by declaring a reason why the non-determinism is tolerated or providing other non-determinism guards that forward the inner non-determinism.
q
Creates a quoted expression for Hydro.