module arch.node.net.transport_connection_messages;

import arch.node.net.transport_types open;
import arch.node.net.node_proxy_messages 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¶

TransportConnectionMsgSend¶

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

type TransportConnectionOutMsg :=
  mkTransportConnectionOutMsg@{
    expiry : Time;
    msg : NodeMsg;
  };

TransportConnectionMsg¶

type TransportConnectionMsg :=
  TransportConnectionMsgSend TransportConnectionOutMsg;