Expand description
Helper utilities for the Hydroflow surface syntax.
Modules§
- Module for the
Cleartrait. - Trait for the
demux_enumderive and operator. - Module for
MonotonicMap. - A multiset backed by a HashMap
- Hydroflow Deterministic Simulation Testing Framework
- A Vec-based SlotMap-esque datastructure and corresponding Key type.
- A vector that supports efficient deletion without reordering all subsequent items.
- Unsync (i.e. single-threaded) synchronization primitives.
Structs§
- Terminates the inner
Childprocess when dropped. - A wrapper christening a closure as a monotonic function
- A wrapper christening a closure as a lattice morphism
Enums§
- Persit or delete tuples
- Persit or delete key-value pairs
Functions§
- Create a listening tcp socket, and then as new connections come in, receive their data and forward it to a queue.
- Returns a newline-delimited bytes
Sender,Receiver, andSocketAddrbound to the given address. - This is the same thing as
bind_tcp_bytesexcept instead of using a length-delimited encoding scheme it uses new lines to separate frames. - Returns a length-delimited bytes
Sink,Stream, andSocketAddrbound to the given address. The inputaddrmay have a port of0, the returnedSocketAddrwill have the chosen port. - Returns a newline-delimited bytes
Sink,Stream, andSocketAddrbound to the given address. The inputaddrmay have a port of0, the returnedSocketAddrwill have the chosen port. - Collects the immediately available items from the
Streaminto aFromIteratorcollection. - Collects the immediately available items from the
Streaminto a collection (Default+Extend). - The inverse of
bind_tcp. - The inverse of
bind_tcp_bytes. - This is the same thing as
connect_tcp_bytesexcept instead of using a length-delimited encoding scheme it uses new lines to separate frames. - Serialize a message from bytes using bincode.
- Resolve the
ipv4SocketAddrfrom an IP or hostname string. - Converts an iterator into a stream that emits
nitems at a time, yielding between each batch. - Returns an
Iteratorof any immediately available items from the [Stream]. - Run a rust example as a test.
- Serialize a message to bytes using bincode.
- Sort a slice using a key fn which returns references.
- Helper creates a TCP
StreamandSinkforBytesstrings where each string is length-delimited. - Helper creates a TCP
StreamandSinkfor undelimited streams ofBytes. - Helper creates a TCP
StreamandSinkfrom the given socket, using the givenCodecto handle delineation between inputs/outputs. - Helper creates a TCP
StreamandSinkforstrings delimited by newlines. - Helper creates a UDP
StreamandSinkforBytesstrings where each string is length-delimited. - Helper creates a UDP
StreamandSinkfor undelimited streams ofBytes. - Returns a UDP
Stream,Sink, and address for the given socket, using the givenCodecto handle delineation between inputs/outputs. - Helper creates a UDP
StreamandSinkforStrings delimited by newlines. - Returns a channel as a (1) unbounded sender and (2) unbounded receiver
Streamfor use in Hydroflow. - Helper creates a Unix
StreamandSinkforBytesstrings where each string is length-delimited. - Helper creates a Unix
StreamandSinkfor undelimited streams ofBytes. - Helper creates a Unix
StreamandSinkfrom the given socket, using the givenCodecto handle delineation between inputs/outputs. - Helper creates a Unix
StreamandSinkforstrings delimited by newlines. - Returns an unsync channel as a (1) sender and (2) receiver
Streamfor use in Hydroflow. - Waits for a specific process output before returning.
Type Aliases§
- A framed TCP
Sink(sending). - A framed TCP
Stream(receiving). - A UDP undelimited bytes
Sink(sending). - A UDP undelimited bytes
Stream(receiving). - A framed UDP
Sink(sending). - A framed UDP
Stream(receiving). - A UDP newline-delimited
StringSink(sending). - A UDP newline-delimited
StringStream(receivng). - A UDP length-delimited frame
Sink(sending). - A UDP length-delimited frame
Stream(receiving).