Safe Haskell	None
Language	Haskell2010

Cardano.Network.NodeToNode

Contents

P2P Governor
Subscription Workers
- Versions
  - Codecs
Re-exports
- Exceptions
- Traces
For Consensus ThreadNet Tests

Description

This is the starting point for a module that will bring together the overall node to node protocol, as a collection of mini-protocols.

Synopsis

nodeToNodeProtocols :: forall (muxMode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b. MiniProtocolParameters -> NodeToNodeProtocols muxMode initiatorCtx responderCtx bytes m a b -> NodeToNodeVersion -> NodeToNodeVersionData -> OuroborosBundle muxMode initiatorCtx responderCtx bytes m a b
data NodeToNodeProtocols (appType :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b = NodeToNodeProtocols {
- chainSyncProtocol :: RunMiniProtocol appType initiatorCtx responderCtx bytes m a b
- blockFetchProtocol :: RunMiniProtocol appType initiatorCtx responderCtx bytes m a b
- txSubmissionProtocol :: RunMiniProtocol appType initiatorCtx responderCtx bytes m a b
- keepAliveProtocol :: RunMiniProtocol appType initiatorCtx responderCtx bytes m a b
- peerSharingProtocol :: RunMiniProtocol appType initiatorCtx responderCtx bytes m a b
}
type NodeToNodeProtocolsWithExpandedCtx (appType :: Mode) ntnAddr bytes (m :: Type -> Type) a b = NodeToNodeProtocols appType (ExpandedInitiatorContext ntnAddr m) (ResponderContext ntnAddr) bytes m a b
type NodeToNodeProtocolsWithMinimalCtx (appType :: Mode) ntnAddr bytes (m :: Type -> Type) a b = NodeToNodeProtocols appType (MinimalInitiatorContext ntnAddr) (ResponderContext ntnAddr) bytes m a b
data MiniProtocolParameters = MiniProtocolParameters {
- chainSyncPipeliningHighMark :: !Word16
- chainSyncPipeliningLowMark :: !Word16
- blockFetchPipeliningMax :: !Word16
- txDecisionPolicy :: !TxDecisionPolicy
}
chainSyncProtocolLimits :: MiniProtocolParameters -> MiniProtocolLimits
blockFetchProtocolLimits :: MiniProtocolParameters -> MiniProtocolLimits
txSubmissionProtocolLimits :: MiniProtocolParameters -> MiniProtocolLimits
keepAliveProtocolLimits :: MiniProtocolParameters -> MiniProtocolLimits
peerSharingProtocolLimits :: MiniProtocolParameters -> MiniProtocolLimits
defaultMiniProtocolParameters :: MiniProtocolParameters
data NodeToNodeVersion
- = NodeToNodeV_14
- | NodeToNodeV_15
data NodeToNodeVersionData = NodeToNodeVersionData {
- networkMagic :: !NetworkMagic
- diffusionMode :: !DiffusionMode
- peerSharing :: !PeerSharing
- query :: !Bool
}
data NetworkConnectTracers addr vNumber = NetworkConnectTracers {
- nctMuxTracers :: TracersWithBearer (ConnectionId addr) IO
- nctHandshakeTracer :: Tracer IO (WithBearer (ConnectionId addr) (TraceSendRecv (Handshake vNumber Term)))
}
nullNetworkConnectTracers :: NetworkConnectTracers addr vNumber
connectTo :: Snocket IO Socket SockAddr -> NetworkConnectTracers SockAddr NodeToNodeVersion -> Versions NodeToNodeVersion NodeToNodeVersionData (OuroborosApplicationWithMinimalCtx 'InitiatorMode SockAddr ByteString IO a b) -> Maybe SockAddr -> SockAddr -> IO (Either SomeException (Either a b))
data AcceptedConnectionsLimit = AcceptedConnectionsLimit {
- acceptedConnectionsHardLimit :: !Word32
- acceptedConnectionsSoftLimit :: !Word32
- acceptedConnectionsDelay :: !DiffTime
}
ntnDataFlow :: NodeToNodeVersionData -> DataFlow
addSafetyMargin :: Int -> Int
data PeerAdvertise
- = DoNotAdvertisePeer
- | DoAdvertisePeer
data PeerSelectionTargets = PeerSelectionTargets {
- targetNumberOfRootPeers :: !Int
- targetNumberOfKnownPeers :: !Int
- targetNumberOfEstablishedPeers :: !Int
- targetNumberOfActivePeers :: !Int
- targetNumberOfKnownBigLedgerPeers :: !Int
- targetNumberOfEstablishedBigLedgerPeers :: !Int
- targetNumberOfActiveBigLedgerPeers :: !Int
}
newtype Versions vNum vData r = Versions {
- getVersions :: Map vNum (Version vData r)
}
data DiffusionMode
- = InitiatorOnlyDiffusionMode
- | InitiatorAndResponderDiffusionMode
simpleSingletonVersions :: vNum -> vData -> (vData -> r) -> Versions vNum vData r
foldMapVersions :: (Ord vNum, Foldable f, HasCallStack) => (x -> Versions vNum extra r) -> f x -> Versions vNum extra r
combineVersions :: (Ord vNum, Foldable f, HasCallStack) => f (Versions vNum extra r) -> Versions vNum extra r
nodeToNodeHandshakeCodec :: forall (m :: Type -> Type). MonadST m => Codec (Handshake NodeToNodeVersion Term) DeserialiseFailure m ByteString
nodeToNodeVersionCodec :: CodecCBORTerm (Text, Maybe Int) NodeToNodeVersion
nodeToNodeCodecCBORTerm :: NodeToNodeVersion -> CodecCBORTerm Text NodeToNodeVersionData
data ExpandedInitiatorContext addr (m :: Type -> Type) = ExpandedInitiatorContext {
- eicConnectionId :: !(ConnectionId addr)
- eicControlMessage :: !(ControlMessageSTM m)
- eicIsBigLedgerPeer :: !IsBigLedgerPeer
}
newtype MinimalInitiatorContext addr = MinimalInitiatorContext {
- micConnectionId :: ConnectionId addr
}
newtype ResponderContext addr = ResponderContext {
- rcConnectionId :: ConnectionId addr
}
data ConnectionId addr = ConnectionId {
- localAddress :: !addr
- remoteAddress :: !addr
}
data ControlMessage
- = Continue
- | Quiesce
- | Terminate
type ControlMessageSTM (m :: Type -> Type) = STM m ControlMessage
type RemoteAddress = SockAddr
type RemoteConnectionId = ConnectionId RemoteAddress
data IsBigLedgerPeer
- = IsBigLedgerPeer
- | IsNotBigLedgerPeer
newtype NumTxIdsToAck = NumTxIdsToAck {
- getNumTxIdsToAck :: Word16
}
data ProtocolLimitFailure
data Handshake (vNumber :: k) (vParams :: k1)
data Socket
data ExceptionInHandler where
- ExceptionInHandler :: forall peerAddr. (Typeable peerAddr, Show peerAddr) => !peerAddr -> !SomeException -> ExceptionInHandler
data AcceptConnectionsPolicyTrace
- = ServerTraceAcceptConnectionRateLimiting DiffTime Int
- | ServerTraceAcceptConnectionHardLimit Word32
- | ServerTraceAcceptConnectionResume Int
data TraceSendRecv ps where
- TraceSendMsg :: forall ps. AnyMessage ps -> TraceSendRecv ps
- TraceRecvMsg :: forall ps. AnyMessage ps -> TraceSendRecv ps
chainSyncMiniProtocolNum :: MiniProtocolNum
blockFetchMiniProtocolNum :: MiniProtocolNum
txSubmissionMiniProtocolNum :: MiniProtocolNum
keepAliveMiniProtocolNum :: MiniProtocolNum
peerSharingMiniProtocolNum :: MiniProtocolNum

Documentation

nodeToNodeProtocols Source #

Arguments

:: forall (muxMode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b. MiniProtocolParameters
-> NodeToNodeProtocols muxMode initiatorCtx responderCtx bytes m a b
-> NodeToNodeVersion	negotiated version number
-> NodeToNodeVersionData	negotiated version data
-> OuroborosBundle muxMode initiatorCtx responderCtx bytes m a b

Make an OuroborosApplication for the bundle of mini-protocols that make up the overall node-to-node protocol.

This function specifies the wire format protocol numbers.

The application specific protocol numbers start from 2. The MiniProtocolNum 0 is reserved for the Handshake protocol, while MiniProtocolNum 1 is reserved for DeltaQ messages. Handshake protocol is not included in NodeToNodeProtocols as it runs before mux is started but it reusing MuxBearer to send and receive messages. Only when the handshake protocol succeeds, we will know which protocols to run / multiplex.

These are chosen to not overlap with the node to client protocol numbers (and the handshake protocol number). This is not essential for correctness, but is helpful to allow a single shared implementation of tools that can analyse both protocols, e.g. wireshark plugins.

data NodeToNodeProtocols (appType :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b Source #

Constructors

NodeToNodeProtocols

Fields

chainSyncProtocol :: RunMiniProtocol appType initiatorCtx responderCtx bytes m a b
chain-sync mini-protocol
blockFetchProtocol :: RunMiniProtocol appType initiatorCtx responderCtx bytes m a b
block-fetch mini-protocol
txSubmissionProtocol :: RunMiniProtocol appType initiatorCtx responderCtx bytes m a b
tx-submission mini-protocol
keepAliveProtocol :: RunMiniProtocol appType initiatorCtx responderCtx bytes m a b
keep-alive mini-protocol
peerSharingProtocol :: RunMiniProtocol appType initiatorCtx responderCtx bytes m a b
peer sharing mini-protocol

type NodeToNodeProtocolsWithExpandedCtx (appType :: Mode) ntnAddr bytes (m :: Type -> Type) a b = NodeToNodeProtocols appType (ExpandedInitiatorContext ntnAddr m) (ResponderContext ntnAddr) bytes m a b Source #

type NodeToNodeProtocolsWithMinimalCtx (appType :: Mode) ntnAddr bytes (m :: Type -> Type) a b = NodeToNodeProtocols appType (MinimalInitiatorContext ntnAddr) (ResponderContext ntnAddr) bytes m a b Source #

data MiniProtocolParameters Source #

Constructors

MiniProtocolParameters

Fields

chainSyncPipeliningHighMark :: !Word16
high threshold for pipelining (we will never exceed that many messages pipelined).
chainSyncPipeliningLowMark :: !Word16
low threshold: if we hit the chainSyncPipeliningHighMark we will listen for responses until there are at most chainSyncPipeliningLowMark pipelined message
Must be smaller than chainSyncPipeliningHighMark.
Note: chainSyncPipeliningLowMark and chainSyncPipeliningLowMark are passed to pipelineDecisionLowHighMark.
blockFetchPipeliningMax :: !Word16
maximal number of pipelined messages in 'block-fetch' mini-protocol.
txDecisionPolicy :: !TxDecisionPolicy
tx submission protocol decision logic parameters

chainSyncProtocolLimits :: MiniProtocolParameters -> MiniProtocolLimits Source #

blockFetchProtocolLimits :: MiniProtocolParameters -> MiniProtocolLimits Source #

txSubmissionProtocolLimits :: MiniProtocolParameters -> MiniProtocolLimits Source #

keepAliveProtocolLimits :: MiniProtocolParameters -> MiniProtocolLimits Source #

peerSharingProtocolLimits :: MiniProtocolParameters -> MiniProtocolLimits Source #

defaultMiniProtocolParameters :: MiniProtocolParameters Source #

data NodeToNodeVersion #

Constructors

NodeToNodeV_14
NodeToNodeV_15

Instances

Instances details

NFData NodeToNodeVersion

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

rnf :: NodeToNodeVersion -> () #

Bounded NodeToNodeVersion

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

minBound :: NodeToNodeVersion #

maxBound :: NodeToNodeVersion #

Enum NodeToNodeVersion

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

succ :: NodeToNodeVersion -> NodeToNodeVersion #

pred :: NodeToNodeVersion -> NodeToNodeVersion #

toEnum :: Int -> NodeToNodeVersion #

fromEnum :: NodeToNodeVersion -> Int #

enumFrom :: NodeToNodeVersion -> [NodeToNodeVersion] #

enumFromThen :: NodeToNodeVersion -> NodeToNodeVersion -> [NodeToNodeVersion] #

enumFromTo :: NodeToNodeVersion -> NodeToNodeVersion -> [NodeToNodeVersion] #

enumFromThenTo :: NodeToNodeVersion -> NodeToNodeVersion -> NodeToNodeVersion -> [NodeToNodeVersion] #

Generic NodeToNodeVersion

Instance details

Defined in Cardano.Network.NodeToNode.Version

Associated Types

type Rep NodeToNodeVersion
Instance details Defined in Cardano.Network.NodeToNode.Version type Rep NodeToNodeVersion = D1 ('MetaData "NodeToNodeVersion" "Cardano.Network.NodeToNode.Version" "cardano-diffusion-0.1.0.0-inplace-api" 'False) (C1 ('MetaCons "NodeToNodeV_14" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NodeToNodeV_15" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: NodeToNodeVersion -> Rep NodeToNodeVersion x #

to :: Rep NodeToNodeVersion x -> NodeToNodeVersion #

Show NodeToNodeVersion

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

showsPrec :: Int -> NodeToNodeVersion -> ShowS #

show :: NodeToNodeVersion -> String #

showList :: [NodeToNodeVersion] -> ShowS #

Eq NodeToNodeVersion

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

(==) :: NodeToNodeVersion -> NodeToNodeVersion -> Bool #

(/=) :: NodeToNodeVersion -> NodeToNodeVersion -> Bool #

Ord NodeToNodeVersion

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

compare :: NodeToNodeVersion -> NodeToNodeVersion -> Ordering #

(<) :: NodeToNodeVersion -> NodeToNodeVersion -> Bool #

(<=) :: NodeToNodeVersion -> NodeToNodeVersion -> Bool #

(>) :: NodeToNodeVersion -> NodeToNodeVersion -> Bool #

(>=) :: NodeToNodeVersion -> NodeToNodeVersion -> Bool #

max :: NodeToNodeVersion -> NodeToNodeVersion -> NodeToNodeVersion #

min :: NodeToNodeVersion -> NodeToNodeVersion -> NodeToNodeVersion #

NoThunks NodeToNodeVersion

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

noThunks :: Context -> NodeToNodeVersion -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> NodeToNodeVersion -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy NodeToNodeVersion -> String #

type Rep NodeToNodeVersion

Instance details

Defined in Cardano.Network.NodeToNode.Version

type Rep NodeToNodeVersion = D1 ('MetaData "NodeToNodeVersion" "Cardano.Network.NodeToNode.Version" "cardano-diffusion-0.1.0.0-inplace-api" 'False) (C1 ('MetaCons "NodeToNodeV_14" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NodeToNodeV_15" 'PrefixI 'False) (U1 :: Type -> Type))

data NodeToNodeVersionData #

Constructors

NodeToNodeVersionData
Fields networkMagic :: !NetworkMagic diffusionMode :: !DiffusionMode peerSharing :: !PeerSharing query :: !Bool

Instances

Instances details

Show NodeToNodeVersionData
Instance details Defined in Cardano.Network.NodeToNode.Version Methods showsPrec :: Int -> NodeToNodeVersionData -> ShowS # show :: NodeToNodeVersionData -> String # showList :: [NodeToNodeVersionData] -> ShowS #
Eq NodeToNodeVersionData
Instance details Defined in Cardano.Network.NodeToNode.Version Methods (==) :: NodeToNodeVersionData -> NodeToNodeVersionData -> Bool # (/=) :: NodeToNodeVersionData -> NodeToNodeVersionData -> Bool #
Acceptable NodeToNodeVersionData
Instance details Defined in Cardano.Network.NodeToNode.Version Methods acceptableVersion :: NodeToNodeVersionData -> NodeToNodeVersionData -> Accept NodeToNodeVersionData
Queryable NodeToNodeVersionData
Instance details Defined in Cardano.Network.NodeToNode.Version Methods queryVersion :: NodeToNodeVersionData -> Bool

data NetworkConnectTracers addr vNumber #

Constructors

NetworkConnectTracers
Fields nctMuxTracers :: TracersWithBearer (ConnectionId addr) IO nctHandshakeTracer :: Tracer IO (WithBearer (ConnectionId addr) (TraceSendRecv (Handshake vNumber Term)))

nullNetworkConnectTracers :: NetworkConnectTracers addr vNumber #

connectTo :: Snocket IO Socket SockAddr -> NetworkConnectTracers SockAddr NodeToNodeVersion -> Versions NodeToNodeVersion NodeToNodeVersionData (OuroborosApplicationWithMinimalCtx 'InitiatorMode SockAddr ByteString IO a b) -> Maybe SockAddr -> SockAddr -> IO (Either SomeException (Either a b)) Source #

A specialised version of connectToNode.

data AcceptedConnectionsLimit #

Constructors

AcceptedConnectionsLimit
Fields acceptedConnectionsHardLimit :: !Word32 acceptedConnectionsSoftLimit :: !Word32 acceptedConnectionsDelay :: !DiffTime

Instances

Instances details

Show AcceptedConnectionsLimit
Instance details Defined in Ouroboros.Network.Server.RateLimiting Methods showsPrec :: Int -> AcceptedConnectionsLimit -> ShowS # show :: AcceptedConnectionsLimit -> String # showList :: [AcceptedConnectionsLimit] -> ShowS #
Eq AcceptedConnectionsLimit
Instance details Defined in Ouroboros.Network.Server.RateLimiting Methods (==) :: AcceptedConnectionsLimit -> AcceptedConnectionsLimit -> Bool # (/=) :: AcceptedConnectionsLimit -> AcceptedConnectionsLimit -> Bool #
Ord AcceptedConnectionsLimit
Instance details Defined in Ouroboros.Network.Server.RateLimiting Methods compare :: AcceptedConnectionsLimit -> AcceptedConnectionsLimit -> Ordering # (<) :: AcceptedConnectionsLimit -> AcceptedConnectionsLimit -> Bool # (<=) :: AcceptedConnectionsLimit -> AcceptedConnectionsLimit -> Bool # (>) :: AcceptedConnectionsLimit -> AcceptedConnectionsLimit -> Bool # (>=) :: AcceptedConnectionsLimit -> AcceptedConnectionsLimit -> Bool # max :: AcceptedConnectionsLimit -> AcceptedConnectionsLimit -> AcceptedConnectionsLimit # min :: AcceptedConnectionsLimit -> AcceptedConnectionsLimit -> AcceptedConnectionsLimit #

ntnDataFlow :: NodeToNodeVersionData -> DataFlow Source #

Node-To-Node protocol connections which negotiated InitiatorAndResponderDiffusionMode are Duplex.

addSafetyMargin :: Int -> Int Source #

P2P Governor

data PeerAdvertise #

Constructors

DoNotAdvertisePeer
DoAdvertisePeer

Instances

Instances details

FromJSON PeerAdvertise

Instance details

Defined in Ouroboros.Network.PeerSelection.PeerAdvertise

Methods

parseJSON :: Value -> Parser PeerAdvertise #

parseJSONList :: Value -> Parser [PeerAdvertise] #

omittedField :: Maybe PeerAdvertise #

ToJSON PeerAdvertise

Instance details

Defined in Ouroboros.Network.PeerSelection.PeerAdvertise

Methods

toJSON :: PeerAdvertise -> Value #

toEncoding :: PeerAdvertise -> Encoding #

toJSONList :: [PeerAdvertise] -> Value #

toEncodingList :: [PeerAdvertise] -> Encoding #

omitField :: PeerAdvertise -> Bool #

Generic PeerAdvertise

Instance details

Defined in Ouroboros.Network.PeerSelection.PeerAdvertise

Associated Types

type Rep PeerAdvertise
Instance details Defined in Ouroboros.Network.PeerSelection.PeerAdvertise type Rep PeerAdvertise = D1 ('MetaData "PeerAdvertise" "Ouroboros.Network.PeerSelection.PeerAdvertise" "ouroboros-network-0.23.0.0-inplace-api" 'False) (C1 ('MetaCons "DoNotAdvertisePeer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoAdvertisePeer" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: PeerAdvertise -> Rep PeerAdvertise x #

to :: Rep PeerAdvertise x -> PeerAdvertise #

Show PeerAdvertise

Instance details

Defined in Ouroboros.Network.PeerSelection.PeerAdvertise

Methods

showsPrec :: Int -> PeerAdvertise -> ShowS #

show :: PeerAdvertise -> String #

showList :: [PeerAdvertise] -> ShowS #

Eq PeerAdvertise

Instance details

Defined in Ouroboros.Network.PeerSelection.PeerAdvertise

Methods

(==) :: PeerAdvertise -> PeerAdvertise -> Bool #

(/=) :: PeerAdvertise -> PeerAdvertise -> Bool #

Ord PeerAdvertise

Instance details

Defined in Ouroboros.Network.PeerSelection.PeerAdvertise

Methods

compare :: PeerAdvertise -> PeerAdvertise -> Ordering #

(<) :: PeerAdvertise -> PeerAdvertise -> Bool #

(<=) :: PeerAdvertise -> PeerAdvertise -> Bool #

(>) :: PeerAdvertise -> PeerAdvertise -> Bool #

(>=) :: PeerAdvertise -> PeerAdvertise -> Bool #

max :: PeerAdvertise -> PeerAdvertise -> PeerAdvertise #

min :: PeerAdvertise -> PeerAdvertise -> PeerAdvertise #

type Rep PeerAdvertise

Instance details

Defined in Ouroboros.Network.PeerSelection.PeerAdvertise

type Rep PeerAdvertise = D1 ('MetaData "PeerAdvertise" "Ouroboros.Network.PeerSelection.PeerAdvertise" "ouroboros-network-0.23.0.0-inplace-api" 'False) (C1 ('MetaCons "DoNotAdvertisePeer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoAdvertisePeer" 'PrefixI 'False) (U1 :: Type -> Type))

data PeerSelectionTargets #

Adjustable targets for the peer selection mechanism.

These are used by the peer selection governor as targets. They are used by the peer churn governor loop as knobs to adjust, to influence the peer selection governor.

The known, established and active peer targets are targets both from below and from above: the governor will attempt to grow or shrink the sets to hit these targets.

Unlike the other targets, the root peer target is "one sided", it is only a target from below. The governor does not try to shrink the root set to hit it, it simply stops looking for more.

There is also an implicit target that enough local root peers are selected as active. This comes from the configuration for local roots, and is not an independently adjustable target.

Constructors

PeerSelectionTargets

Fields

targetNumberOfRootPeers :: !Int
targetNumberOfKnownPeers :: !Int
The target number of all known peers. Doesn't include big ledger peers |
targetNumberOfEstablishedPeers :: !Int
The target number of established peers (does not include big ledger peers).
The target includes root peers, local root peers, and ledger peers
targetNumberOfActivePeers :: !Int
The target number of active peers (does not include big ledger peers).
targetNumberOfKnownBigLedgerPeers :: !Int
Target number of known big ledger peers.
This target is independent of targetNumberOfKnownPeers. The total number of known peers will be sum of the two targets.
targetNumberOfEstablishedBigLedgerPeers :: !Int
Target number of established big ledger peers.
This target is independent of targetNumberOfEstablishedPeers. The total number of established peers will be sum of the two targets and local root peers.
targetNumberOfActiveBigLedgerPeers :: !Int
Target number of active big ledger peers.
This target is independent of targetNumberOfActivePeers. The total number of active peers will be sum of the two targets and active local root peers.

Instances

Instances details

Show PeerSelectionTargets
Instance details Defined in Ouroboros.Network.PeerSelection.Governor.Types Methods showsPrec :: Int -> PeerSelectionTargets -> ShowS # show :: PeerSelectionTargets -> String # showList :: [PeerSelectionTargets] -> ShowS #
Eq PeerSelectionTargets
Instance details Defined in Ouroboros.Network.PeerSelection.Governor.Types Methods (==) :: PeerSelectionTargets -> PeerSelectionTargets -> Bool # (/=) :: PeerSelectionTargets -> PeerSelectionTargets -> Bool #

Subscription Workers

Versions

newtype Versions vNum vData r #

Constructors

Versions
Fields getVersions :: Map vNum (Version vData r)

Instances

Instances details

Functor (Versions vNum extra)
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Version Methods fmap :: (a -> b) -> Versions vNum extra a -> Versions vNum extra b # (<$) :: a -> Versions vNum extra b -> Versions vNum extra a #
Ord vNum => Semigroup (Versions vNum vData r)
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Version Methods (<>) :: Versions vNum vData r -> Versions vNum vData r -> Versions vNum vData r # sconcat :: NonEmpty (Versions vNum vData r) -> Versions vNum vData r # stimes :: Integral b => b -> Versions vNum vData r -> Versions vNum vData r #

data DiffusionMode #

Constructors

InitiatorOnlyDiffusionMode
InitiatorAndResponderDiffusionMode

Instances

Instances details

Show DiffusionMode
Instance details Defined in Ouroboros.Network.DiffusionMode Methods showsPrec :: Int -> DiffusionMode -> ShowS # show :: DiffusionMode -> String # showList :: [DiffusionMode] -> ShowS #
Eq DiffusionMode
Instance details Defined in Ouroboros.Network.DiffusionMode Methods (==) :: DiffusionMode -> DiffusionMode -> Bool # (/=) :: DiffusionMode -> DiffusionMode -> Bool #
Ord DiffusionMode
Instance details Defined in Ouroboros.Network.DiffusionMode Methods compare :: DiffusionMode -> DiffusionMode -> Ordering # (<) :: DiffusionMode -> DiffusionMode -> Bool # (<=) :: DiffusionMode -> DiffusionMode -> Bool # (>) :: DiffusionMode -> DiffusionMode -> Bool # (>=) :: DiffusionMode -> DiffusionMode -> Bool # max :: DiffusionMode -> DiffusionMode -> DiffusionMode # min :: DiffusionMode -> DiffusionMode -> DiffusionMode #

simpleSingletonVersions :: vNum -> vData -> (vData -> r) -> Versions vNum vData r #

foldMapVersions :: (Ord vNum, Foldable f, HasCallStack) => (x -> Versions vNum extra r) -> f x -> Versions vNum extra r #

combineVersions :: (Ord vNum, Foldable f, HasCallStack) => f (Versions vNum extra r) -> Versions vNum extra r #

Codecs

nodeToNodeHandshakeCodec :: forall (m :: Type -> Type). MonadST m => Codec (Handshake NodeToNodeVersion Term) DeserialiseFailure m ByteString #

nodeToNodeVersionCodec :: CodecCBORTerm (Text, Maybe Int) NodeToNodeVersion #

nodeToNodeCodecCBORTerm :: NodeToNodeVersion -> CodecCBORTerm Text NodeToNodeVersionData #

Re-exports

data ExpandedInitiatorContext addr (m :: Type -> Type) #

Constructors

ExpandedInitiatorContext
Fields eicConnectionId :: !(ConnectionId addr) eicControlMessage :: !(ControlMessageSTM m) eicIsBigLedgerPeer :: !IsBigLedgerPeer

newtype MinimalInitiatorContext addr #

Constructors

MinimalInitiatorContext
Fields micConnectionId :: ConnectionId addr

Instances

Instances details

Functor MinimalInitiatorContext
Instance details Defined in Ouroboros.Network.Context Methods fmap :: (a -> b) -> MinimalInitiatorContext a -> MinimalInitiatorContext b # (<$) :: a -> MinimalInitiatorContext b -> MinimalInitiatorContext a #

newtype ResponderContext addr #

Constructors

ResponderContext
Fields rcConnectionId :: ConnectionId addr

Instances

Instances details

Functor ResponderContext
Instance details Defined in Ouroboros.Network.Context Methods fmap :: (a -> b) -> ResponderContext a -> ResponderContext b # (<$) :: a -> ResponderContext b -> ResponderContext a #

data ConnectionId addr #

Constructors

ConnectionId
Fields localAddress :: !addr remoteAddress :: !addr

Instances

Instances details

Functor ConnectionId

Instance details

Defined in Ouroboros.Network.ConnectionId

Methods

fmap :: (a -> b) -> ConnectionId a -> ConnectionId b #

(<$) :: a -> ConnectionId b -> ConnectionId a #

ShowProxy addr => ShowProxy (ConnectionId addr :: Type)

Instance details

Defined in Ouroboros.Network.ConnectionId

Methods

showProxy :: Proxy (ConnectionId addr) -> String

Generic (ConnectionId addr)

Instance details

Defined in Ouroboros.Network.ConnectionId

Associated Types

type Rep (ConnectionId addr)

Instance details

Defined in Ouroboros.Network.ConnectionId

type Rep (ConnectionId addr) = D1 ('MetaData "ConnectionId" "Ouroboros.Network.ConnectionId" "ouroboros-network-0.23.0.0-inplace-framework" 'False) (C1 ('MetaCons "ConnectionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "localAddress") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 addr) :*: S1 ('MetaSel ('Just "remoteAddress") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 addr)))

Methods

from :: ConnectionId addr -> Rep (ConnectionId addr) x #

to :: Rep (ConnectionId addr) x -> ConnectionId addr #

Show addr => Show (ConnectionId addr)

Instance details

Defined in Ouroboros.Network.ConnectionId

Methods

showsPrec :: Int -> ConnectionId addr -> ShowS #

show :: ConnectionId addr -> String #

showList :: [ConnectionId addr] -> ShowS #

Eq addr => Eq (ConnectionId addr)

Instance details

Defined in Ouroboros.Network.ConnectionId

Methods

(==) :: ConnectionId addr -> ConnectionId addr -> Bool #

(/=) :: ConnectionId addr -> ConnectionId addr -> Bool #

Ord addr => Ord (ConnectionId addr)

Instance details

Defined in Ouroboros.Network.ConnectionId

Methods

compare :: ConnectionId addr -> ConnectionId addr -> Ordering #

(<) :: ConnectionId addr -> ConnectionId addr -> Bool #

(<=) :: ConnectionId addr -> ConnectionId addr -> Bool #

(>) :: ConnectionId addr -> ConnectionId addr -> Bool #

(>=) :: ConnectionId addr -> ConnectionId addr -> Bool #

max :: ConnectionId addr -> ConnectionId addr -> ConnectionId addr #

min :: ConnectionId addr -> ConnectionId addr -> ConnectionId addr #

Hashable a => Hashable (ConnectionId a)

Instance details

Defined in Ouroboros.Network.ConnectionId

Methods

hashWithSalt :: Int -> ConnectionId a -> Int #

hash :: ConnectionId a -> Int #

Typeable addr => NoThunks (ConnectionId addr)

Instance details

Defined in Ouroboros.Network.ConnectionId

Methods

noThunks :: Context -> ConnectionId addr -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> ConnectionId addr -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (ConnectionId addr) -> String #

type Rep (ConnectionId addr)

Instance details

Defined in Ouroboros.Network.ConnectionId

type Rep (ConnectionId addr) = D1 ('MetaData "ConnectionId" "Ouroboros.Network.ConnectionId" "ouroboros-network-0.23.0.0-inplace-framework" 'False) (C1 ('MetaCons "ConnectionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "localAddress") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 addr) :*: S1 ('MetaSel ('Just "remoteAddress") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 addr)))

data ControlMessage #

Constructors

Continue
Quiesce
Terminate

Instances

Instances details

Show ControlMessage
Instance details Defined in Ouroboros.Network.ControlMessage Methods showsPrec :: Int -> ControlMessage -> ShowS # show :: ControlMessage -> String # showList :: [ControlMessage] -> ShowS #
Eq ControlMessage
Instance details Defined in Ouroboros.Network.ControlMessage Methods (==) :: ControlMessage -> ControlMessage -> Bool # (/=) :: ControlMessage -> ControlMessage -> Bool #

type ControlMessageSTM (m :: Type -> Type) = STM m ControlMessage #

type RemoteAddress = SockAddr #

type RemoteConnectionId = ConnectionId RemoteAddress #

data IsBigLedgerPeer #

Constructors

IsBigLedgerPeer
IsNotBigLedgerPeer

Instances

Instances details

Show IsBigLedgerPeer
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> IsBigLedgerPeer -> ShowS # show :: IsBigLedgerPeer -> String # showList :: [IsBigLedgerPeer] -> ShowS #
Eq IsBigLedgerPeer
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (==) :: IsBigLedgerPeer -> IsBigLedgerPeer -> Bool # (/=) :: IsBigLedgerPeer -> IsBigLedgerPeer -> Bool #

newtype NumTxIdsToAck #

Constructors

NumTxIdsToAck
Fields getNumTxIdsToAck :: Word16

Instances

Instances details

NFData NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

rnf :: NumTxIdsToAck -> () #

Monoid NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

mempty :: NumTxIdsToAck #

mappend :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

mconcat :: [NumTxIdsToAck] -> NumTxIdsToAck #

Semigroup NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

(<>) :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

sconcat :: NonEmpty NumTxIdsToAck -> NumTxIdsToAck #

stimes :: Integral b => b -> NumTxIdsToAck -> NumTxIdsToAck #

Bounded NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

minBound :: NumTxIdsToAck #

maxBound :: NumTxIdsToAck #

Enum NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

succ :: NumTxIdsToAck -> NumTxIdsToAck #

pred :: NumTxIdsToAck -> NumTxIdsToAck #

toEnum :: Int -> NumTxIdsToAck #

fromEnum :: NumTxIdsToAck -> Int #

enumFrom :: NumTxIdsToAck -> [NumTxIdsToAck] #

enumFromThen :: NumTxIdsToAck -> NumTxIdsToAck -> [NumTxIdsToAck] #

enumFromTo :: NumTxIdsToAck -> NumTxIdsToAck -> [NumTxIdsToAck] #

enumFromThenTo :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck -> [NumTxIdsToAck] #

Generic NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Associated Types

type Rep NumTxIdsToAck
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type type Rep NumTxIdsToAck = D1 ('MetaData "NumTxIdsToAck" "Ouroboros.Network.Protocol.TxSubmission2.Type" "ouroboros-network-0.23.0.0-inplace-protocols" 'True) (C1 ('MetaCons "NumTxIdsToAck" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumTxIdsToAck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from :: NumTxIdsToAck -> Rep NumTxIdsToAck x #

to :: Rep NumTxIdsToAck x -> NumTxIdsToAck #

Num NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

(+) :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

(-) :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

(*) :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

negate :: NumTxIdsToAck -> NumTxIdsToAck #

abs :: NumTxIdsToAck -> NumTxIdsToAck #

signum :: NumTxIdsToAck -> NumTxIdsToAck #

fromInteger :: Integer -> NumTxIdsToAck #

Integral NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

quot :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

rem :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

div :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

mod :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

quotRem :: NumTxIdsToAck -> NumTxIdsToAck -> (NumTxIdsToAck, NumTxIdsToAck) #

divMod :: NumTxIdsToAck -> NumTxIdsToAck -> (NumTxIdsToAck, NumTxIdsToAck) #

toInteger :: NumTxIdsToAck -> Integer #

Real NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

toRational :: NumTxIdsToAck -> Rational #

Show NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

showsPrec :: Int -> NumTxIdsToAck -> ShowS #

show :: NumTxIdsToAck -> String #

showList :: [NumTxIdsToAck] -> ShowS #

Eq NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

(==) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

(/=) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

Ord NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

compare :: NumTxIdsToAck -> NumTxIdsToAck -> Ordering #

(<) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

(<=) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

(>) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

(>=) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

max :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

min :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

NoThunks NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

noThunks :: Context -> NumTxIdsToAck -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> NumTxIdsToAck -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy NumTxIdsToAck -> String #

type Rep NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

type Rep NumTxIdsToAck = D1 ('MetaData "NumTxIdsToAck" "Ouroboros.Network.Protocol.TxSubmission2.Type" "ouroboros-network-0.23.0.0-inplace-protocols" 'True) (C1 ('MetaCons "NumTxIdsToAck" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumTxIdsToAck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data ProtocolLimitFailure #

Instances

Instances details

Exception ProtocolLimitFailure
Instance details Defined in Ouroboros.Network.Protocol.Limits Methods toException :: ProtocolLimitFailure -> SomeException # fromException :: SomeException -> Maybe ProtocolLimitFailure # displayException :: ProtocolLimitFailure -> String # backtraceDesired :: ProtocolLimitFailure -> Bool #
Show ProtocolLimitFailure
Instance details Defined in Ouroboros.Network.Protocol.Limits Methods showsPrec :: Int -> ProtocolLimitFailure -> ShowS # show :: ProtocolLimitFailure -> String # showList :: [ProtocolLimitFailure] -> ShowS #

data Handshake (vNumber :: k) (vParams :: k1) #

Instances

Instances details

ShowProxy (Handshake vNumber vParams :: Type)

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

Methods

showProxy :: Proxy (Handshake vNumber vParams) -> String

(NFData vNumber, NFData vParams) => NFData (Message (Handshake vNumber vParams) from to)

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

Methods

rnf :: Message (Handshake vNumber vParams) from to -> () #

(Show vNumber, Show vParams) => Show (Message (Handshake vNumber vParams) from to)

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

Methods

showsPrec :: Int -> Message (Handshake vNumber vParams) from to -> ShowS #

show :: Message (Handshake vNumber vParams) from to -> String #

showList :: [Message (Handshake vNumber vParams) from to] -> ShowS #

Protocol (Handshake vNumber vParams)

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

Associated Types

type StateToken
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Type type StateToken = SingHandshake :: Handshake vNumber vParams -> Type

StateTokenI ('StConfirm :: Handshake vNumber vParams)

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

Methods

stateToken :: StateToken ('StConfirm :: Handshake vNumber vParams) #

StateTokenI ('StDone :: Handshake vNumber vParams)

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

Methods

stateToken :: StateToken ('StDone :: Handshake vNumber vParams) #

StateTokenI ('StPropose :: Handshake vNumber vParams)

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

Methods

stateToken :: StateToken ('StPropose :: Handshake vNumber vParams) #

data Message (Handshake vNumber vParams) (from :: Handshake vNumber vParams) (to :: Handshake vNumber vParams)

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

data Message (Handshake vNumber vParams) (from :: Handshake vNumber vParams) (to :: Handshake vNumber vParams) where

MsgProposeVersions :: forall vNumber1 vParams1. Map vNumber1 vParams1 -> Message (Handshake vNumber1 vParams1) ('StPropose :: Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1)
MsgReplyVersions :: forall vNumber1 vParams1. Map vNumber1 vParams1 -> Message (Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1) ('StDone :: Handshake vNumber1 vParams1)
MsgQueryReply :: forall vNumber1 vParams1. Map vNumber1 vParams1 -> Message (Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1) ('StDone :: Handshake vNumber1 vParams1)
MsgAcceptVersion :: forall vNumber1 vParams1. vNumber1 -> vParams1 -> Message (Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1) ('StDone :: Handshake vNumber1 vParams1)
MsgRefuse :: forall {k1} vNumber1 (vParams :: k1). RefuseReason vNumber1 -> Message (Handshake vNumber1 vParams) ('StConfirm :: Handshake vNumber1 vParams) ('StDone :: Handshake vNumber1 vParams)

type StateToken

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

type StateToken = SingHandshake :: Handshake vNumber vParams -> Type

type StateAgency ('StConfirm :: Handshake vNumber vParams)

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

type StateAgency ('StConfirm :: Handshake vNumber vParams) = 'ServerAgency

type StateAgency ('StDone :: Handshake vNumber vParams)

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

type StateAgency ('StDone :: Handshake vNumber vParams) = 'NobodyAgency

type StateAgency ('StPropose :: Handshake vNumber vParams)

Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

type StateAgency ('StPropose :: Handshake vNumber vParams) = 'ClientAgency

data Socket #

Basic type for a socket.

Instances

Instances details

Show Socket
Instance details Defined in Network.Socket.Types Methods showsPrec :: Int -> Socket -> ShowS # show :: Socket -> String # showList :: [Socket] -> ShowS #
Eq Socket
Instance details Defined in Network.Socket.Types Methods (==) :: Socket -> Socket -> Bool # (/=) :: Socket -> Socket -> Bool #

Exceptions

data ExceptionInHandler where #

Constructors

ExceptionInHandler :: forall peerAddr. (Typeable peerAddr, Show peerAddr) => !peerAddr -> !SomeException -> ExceptionInHandler

Instances

Instances details

Exception ExceptionInHandler
Instance details Defined in Ouroboros.Network.ConnectionManager.Types Methods toException :: ExceptionInHandler -> SomeException # fromException :: SomeException -> Maybe ExceptionInHandler # displayException :: ExceptionInHandler -> String # backtraceDesired :: ExceptionInHandler -> Bool #
Show ExceptionInHandler
Instance details Defined in Ouroboros.Network.ConnectionManager.Types Methods showsPrec :: Int -> ExceptionInHandler -> ShowS # show :: ExceptionInHandler -> String # showList :: [ExceptionInHandler] -> ShowS #

Traces

data AcceptConnectionsPolicyTrace #

Constructors

ServerTraceAcceptConnectionRateLimiting DiffTime Int
ServerTraceAcceptConnectionHardLimit Word32
ServerTraceAcceptConnectionResume Int

Instances

Instances details

Show AcceptConnectionsPolicyTrace
Instance details Defined in Ouroboros.Network.Server.RateLimiting Methods showsPrec :: Int -> AcceptConnectionsPolicyTrace -> ShowS # show :: AcceptConnectionsPolicyTrace -> String # showList :: [AcceptConnectionsPolicyTrace] -> ShowS #
Eq AcceptConnectionsPolicyTrace
Instance details Defined in Ouroboros.Network.Server.RateLimiting Methods (==) :: AcceptConnectionsPolicyTrace -> AcceptConnectionsPolicyTrace -> Bool # (/=) :: AcceptConnectionsPolicyTrace -> AcceptConnectionsPolicyTrace -> Bool #
Ord AcceptConnectionsPolicyTrace
Instance details Defined in Ouroboros.Network.Server.RateLimiting Methods compare :: AcceptConnectionsPolicyTrace -> AcceptConnectionsPolicyTrace -> Ordering # (<) :: AcceptConnectionsPolicyTrace -> AcceptConnectionsPolicyTrace -> Bool # (<=) :: AcceptConnectionsPolicyTrace -> AcceptConnectionsPolicyTrace -> Bool # (>) :: AcceptConnectionsPolicyTrace -> AcceptConnectionsPolicyTrace -> Bool # (>=) :: AcceptConnectionsPolicyTrace -> AcceptConnectionsPolicyTrace -> Bool # max :: AcceptConnectionsPolicyTrace -> AcceptConnectionsPolicyTrace -> AcceptConnectionsPolicyTrace # min :: AcceptConnectionsPolicyTrace -> AcceptConnectionsPolicyTrace -> AcceptConnectionsPolicyTrace #

data TraceSendRecv ps where #

Constructors

TraceSendMsg :: forall ps. AnyMessage ps -> TraceSendRecv ps
TraceRecvMsg :: forall ps. AnyMessage ps -> TraceSendRecv ps

Instances

Instances details

Show (AnyMessage ps) => Show (TraceSendRecv ps)
Instance details Defined in Ouroboros.Network.Driver.Simple Methods showsPrec :: Int -> TraceSendRecv ps -> ShowS # show :: TraceSendRecv ps -> String # showList :: [TraceSendRecv ps] -> ShowS #

For Consensus ThreadNet Tests

chainSyncMiniProtocolNum :: MiniProtocolNum Source #

blockFetchMiniProtocolNum :: MiniProtocolNum Source #

txSubmissionMiniProtocolNum :: MiniProtocolNum Source #

keepAliveMiniProtocolNum :: MiniProtocolNum Source #

peerSharingMiniProtocolNum :: MiniProtocolNum Source #