List of all items

Structs

• automaton::ActionDebugInfo
• automaton::AnyAction
• automaton::AnyModel
• automaton::Dispatcher
• automaton::Effectful
• automaton::IfPure
• automaton::Pure
• automaton::Redispatch
• automaton::Runner
• automaton::RunnerBuilder
• automaton::SerializableAction
• automaton::State
• automaton::Uid
• models::pure::net::tcp::state::Connection
• models::pure::net::tcp::state::Listener
• models::pure::net::tcp::state::PollRequest
• models::pure::net::tcp::state::RecvRequest
• models::pure::net::tcp::state::SendRequest
• models::pure::net::tcp::state::TcpState
• models::pure::net::tcp_client::state::Connection
• models::pure::net::tcp_client::state::RecvRequest
• models::pure::net::tcp_client::state::SendRequest
• models::pure::net::tcp_client::state::TcpClientState
• models::pure::net::tcp_server::state::Listener
• models::pure::net::tcp_server::state::PollRequest
• models::pure::net::tcp_server::state::RecvRequest
• models::pure::net::tcp_server::state::SendRequest
• models::pure::net::tcp_server::state::TcpServerState
• models::pure::prng::state::PRNGConfig
• models::pure::prng::state::PRNGState
• models::pure::tests::echo_client::state::EchoClientConfig
• models::pure::tests::echo_client::state::EchoClientState
• models::pure::tests::echo_server::state::EchoServerConfig
• models::pure::tests::echo_server::state::EchoServerState
• models::pure::time::state::TimeState

Enums

• automaton::ActionKind
• automaton::Timeout
• automaton::TimeoutAbsolute
• models::pure::net::tcp::action::AcceptResult
• models::pure::net::tcp::action::ConnectResult
• models::pure::net::tcp::action::ConnectionEvent
• models::pure::net::tcp::action::ConnectionResult
• models::pure::net::tcp::action::Event
• models::pure::net::tcp::action::ListenerEvent
• models::pure::net::tcp::action::RecvResult
• models::pure::net::tcp::action::SendResult
• models::pure::net::tcp::action::TcpAction
• models::pure::net::tcp::state::ConnectionStatus
• models::pure::net::tcp::state::ConnectionType
• models::pure::net::tcp::state::Status
• models::pure::net::tcp_client::action::TcpClientAction
• models::pure::net::tcp_server::action::TcpServerAction
• models::pure::prng::action::PRNGPureAction
• models::pure::tests::echo_client::action::EchoClientAction
• models::pure::tests::echo_client::state::EchoClientStatus
• models::pure::tests::echo_server::action::EchoServerAction
• models::pure::tests::echo_server::state::Connection
• models::pure::tests::echo_server::state::EchoServerStatus
• models::pure::time::action::TimeAction

Traits

• automaton::Action
• automaton::EffectfulModel
• automaton::False
• automaton::ModelState
• automaton::PrivateModel
• automaton::PureModel
• automaton::RegisterModel
• automaton::True
• models::pure::net::tcp::state::EventUpdater

Macros

• _callback
• automaton::_callback
• automaton::callback
• callback

Functions

• automaton::deserialize_rc_bytes
• automaton::serialize_rc_bytes
• models::pure::net::tcp::util::dispatch_recv
• models::pure::net::tcp::util::dispatch_send
• models::pure::net::tcp::util::handle_poll_success
• models::pure::net::tcp::util::handle_recv_common
• models::pure::net::tcp::util::handle_send_common
• models::pure::net::tcp::util::input_pending_recv_requests_aux
• models::pure::net::tcp::util::process_pending_connections
• models::pure::net::tcp::util::process_pending_recv_requests
• models::pure::net::tcp::util::process_pending_send_requests
• models::pure::net::tcp::util::process_pending_send_requests_aux
• models::pure::time::model::get_current_time
• models::pure::time::model::get_timeout_absolute
• models::pure::time::model::update_time

Type Aliases

• automaton::Objects
• models::pure::net::tcp::action::TcpPollEvents

Statics

• automaton::CALLBACKS