Skip to content
Juvix imports

module arch.node.engines.transport_connection_messages;

import arch.node.engines.router_messages open;
import arch.node.types.transport open;
import arch.node.types.basics open;
import arch.node.types.identities open;
import arch.node.types.messages open;

Transport Connection Messages

These are the messages that the Transport Connection engine can receive.

Message interface

type TransportConnectionMsg :=
| TransportConnectionMsgSend TransportConnectionOutMsg;

Message types


TransportConnectionOutMsg

Send a message to the remote node via the established connection.

type TransportConnectionOutMsg :=
mkTransportConnectionOutMsg@{
expiry : Time;
msg : NodeMsg;
};
Arguments
expiry:
Time after which the message expires.
msg:
The message to send.

TransportConnectionMsg

type TransportConnectionMsg :=
| TransportConnectionMsgSend TransportConnectionOutMsg;

Engine components