Expand description
Helper utilities for the Hydroflow surface syntax.
Modules§
- Module for the
Clear
trait. - Trait for the
demux_enum
derive and operator. - Module for
MonotonicMap
. - A multiset backed by a HashMap
- Hydroflow Deterministic Simulation Testing Framework
- A vector that supports efficient deletion without reordering all subsequent items.
- Unsync (i.e. single-threaded) synchronization primitives.
Structs§
- Terminates the inner
Child
process 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
, andSocketAddr
bound to the given address. - This is the same thing as
bind_tcp_bytes
except instead of using a length-delimited encoding scheme it uses new lines to separate frames. - Returns a length-delimited bytes
Sink
,Stream
, andSocketAddr
bound to the given address. The inputaddr
may have a port of0
, the returnedSocketAddr
will have the chosen port. - Returns a newline-delimited bytes
Sink
,Stream
, andSocketAddr
bound to the given address. The inputaddr
may have a port of0
, the returnedSocketAddr
will have the chosen port. - Collects the immediately available items from the
Stream
into aFromIterator
collection. - Collects the immediately available items from the
Stream
into a collection (Default
+Extend
). - The inverse of
bind_tcp
. - The inverse of
bind_tcp_bytes
. - This is the same thing as
connect_tcp_bytes
except instead of using a length-delimited encoding scheme it uses new lines to separate frames. - Serialize a message from bytes using bincode.
- Resolve the
ipv4
SocketAddr
from an IP or hostname string. - Converts an iterator into a stream that emits
n
items at a time, yielding between each batch. - Returns an
Iterator
of 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
Stream
andSink
forBytes
strings where each string is length-delimited. - Helper creates a TCP
Stream
andSink
for undelimited streams ofBytes
. - Helper creates a TCP
Stream
andSink
from the given socket, using the givenCodec
to handle delineation between inputs/outputs. - Helper creates a TCP
Stream
andSink
forstr
ings delimited by newlines. - Helper creates a UDP
Stream
andSink
forBytes
strings where each string is length-delimited. - Helper creates a UDP
Stream
andSink
for undelimited streams ofBytes
. - Returns a UDP
Stream
,Sink
, and address for the given socket, using the givenCodec
to handle delineation between inputs/outputs. - Helper creates a UDP
Stream
andSink
forString
s delimited by newlines. - Returns a channel as a (1) unbounded sender and (2) unbounded receiver
Stream
for use in Hydroflow. - Helper creates a Unix
Stream
andSink
forBytes
strings where each string is length-delimited. - Helper creates a Unix
Stream
andSink
for undelimited streams ofBytes
. - Helper creates a Unix
Stream
andSink
from the given socket, using the givenCodec
to handle delineation between inputs/outputs. - Helper creates a Unix
Stream
andSink
forstr
ings delimited by newlines. - Returns an unsync channel as a (1) sender and (2) receiver
Stream
for 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
String
Sink
(sending). - A UDP newline-delimited
String
Stream
(receivng). - A UDP length-delimited frame
Sink
(sending). - A UDP length-delimited frame
Stream
(receiving).