Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Network.Testnet.Internal

Contents

Run diffusion simulation
QuickCheck properties
Tracing
Re-exports

Description

Diffusion simulation.

Synopsis

diffusionSimulation :: (Alternative (STM m), MonadAsync m, MonadDelay m, MonadFix m, MonadFork m, MonadSay m, MonadST m, MonadEvaluate m, MonadLabelledSTM m, MonadTraceSTM m, MonadMask m, MonadTime m, MonadTimer m, MonadThrow (STM m), MonadMVar m, forall a. Semigroup a => Semigroup (m a)) => BearerInfo -> DiffusionScript -> Tracer m (WithTime (WithName NtNAddr DiffusionTestTrace)) -> m Void
data DiffusionScript = DiffusionScript SimArgs DomainMapScript [(NodeArgs, [Command])]
data SimArgs = SimArgs {
- saSlot :: DiffTime
- saQuota :: Int
}
mainnetSimArgs :: Int -> SimArgs
data NodeArgs = NodeArgs {
- naSeed :: Int
- naDiffusionMode :: DiffusionMode
- naMbTime :: Maybe DiffTime
- naPublicRoots :: Map RelayAccessPoint PeerAdvertise
- naConsensusMode :: ConsensusMode
- naBootstrapPeers :: Script UseBootstrapPeers
- naAddr :: NtNAddr
- naPeerSharing :: PeerSharing
- naLocalRootPeers :: [(HotValency, WarmValency, Map RelayAccessPoint LocalRootConfig)]
- naLedgerPeers :: Script LedgerPools
- naPeerTargets :: ConsensusModePeerTargets
- naDNSTimeoutScript :: Script DNSTimeout
- naDNSLookupDelayScript :: Script DNSLookupDelay
- naChainSyncExitOnBlockNo :: Maybe BlockNo
- naChainSyncEarlyExit :: Bool
- naFetchModeScript :: Script PraosFetchMode
}
data ServiceDomainName
- = DomainName Domain
- | Misconfigured Domain
- | NoDomainName
data Command
- = JoinNetwork DiffTime
- | Kill DiffTime
- | Reconfigure DiffTime [(HotValency, WarmValency, Map RelayAccessPoint LocalRootConfig)]
data HotDiffusionScript = HotDiffusionScript SimArgs DomainMapScript [(NodeArgs, [Command])]
prop_diffusionScript_fixupCommands :: DiffusionScript -> Property
prop_diffusionScript_commandScript_valid :: DiffusionScript -> Property
data DiffusionSimulationTrace
- = TrJoiningNetwork
- | TrKillingNode
- | TrReconfiguringNode
- | TrUpdatingDNS
- | TrRunning
- | TrErrored SomeException
data DiffusionTestTrace
- = DiffusionLocalRootPeerTrace (TraceLocalRootPeers NtNAddr SomeException)
- | DiffusionPublicRootPeerTrace TracePublicRootPeers
- | DiffusionLedgerPeersTrace TraceLedgerPeers
- | DiffusionPeerSelectionTrace (TracePeerSelection NtNAddr)
- | DiffusionPeerSelectionActionsTrace (PeerSelectionActionsTrace NtNAddr NtNVersion)
- | DiffusionDebugPeerSelectionTrace (DebugPeerSelection NtNAddr)
- | DiffusionConnectionManagerTrace (Trace NtNAddr (ConnectionHandlerTrace NtNVersion NtNVersionData))
- | DiffusionDiffusionSimulationTrace DiffusionSimulationTrace
- | DiffusionConnectionManagerTransitionTrace (AbstractTransitionTrace ConnStateId)
- | DiffusionInboundGovernorTransitionTrace (RemoteTransitionTrace NtNAddr)
- | DiffusionInboundGovernorTrace (Trace NtNAddr)
- | DiffusionServerTrace (Trace NtNAddr)
- | DiffusionFetchTrace (TraceFetchClientState BlockHeader)
- | DiffusionDebugTrace String
iosimTracer :: forall s a. (Show a, Typeable a) => Tracer (IOSim s) (WithTime (WithName NtNAddr a))
newtype TestAddress addr = TestAddress {
- getTestAddress :: addr
}
data RelayAccessPoint where
- RelayAccessDomain !Domain !PortNumber
- RelayAccessAddress !IP !PortNumber
- pattern RelayDomainAccessPoint :: DomainAccessPoint -> RelayAccessPoint
newtype Script a = Script (NonEmpty a)
data ConsensusModePeerTargets = ConsensusModePeerTargets {
- deadlineTargets :: !PeerSelectionTargets
- syncTargets :: !PeerSelectionTargets
}
data DebugPeerSelection peeraddr where
- TraceGovernorState :: forall peeraddr peerconn. Show peerconn => Time -> Maybe DiffTime -> PeerSelectionState peeraddr peerconn -> DebugPeerSelection peeraddr
data PeerSelectionTargets = PeerSelectionTargets {
- targetNumberOfRootPeers :: !Int
- targetNumberOfKnownPeers :: !Int
- targetNumberOfEstablishedPeers :: !Int
- targetNumberOfActivePeers :: !Int
- targetNumberOfKnownBigLedgerPeers :: !Int
- targetNumberOfEstablishedBigLedgerPeers :: !Int
- targetNumberOfActiveBigLedgerPeers :: !Int
}
data TracePeerSelection peeraddr
newtype DNSTimeout = DNSTimeout {
- getDNSTimeout :: DiffTime
}
newtype DNSLookupDelay = DNSLookupDelay {
- getDNSLookupDelay :: DiffTime
}

Run diffusion simulation

diffusionSimulation Source #

Arguments

:: (Alternative (STM m), MonadAsync m, MonadDelay m, MonadFix m, MonadFork m, MonadSay m, MonadST m, MonadEvaluate m, MonadLabelledSTM m, MonadTraceSTM m, MonadMask m, MonadTime m, MonadTimer m, MonadThrow (STM m), MonadMVar m, forall a. Semigroup a => Semigroup (m a))
=> BearerInfo
-> DiffusionScript
-> Tracer m (WithTime (WithName NtNAddr DiffusionTestTrace))	timed trace of nodes in the system
-> m Void

Run an arbitrary topology

data DiffusionScript Source #

Multinode Diffusion Simulator Script

SimArgs with all the values needed for running the simulation, followed by a list of NodeArgs where each element represents one running node and respective Commands.

Constructors

DiffusionScript SimArgs DomainMapScript [(NodeArgs, [Command])]

Instances

Instances details

Arbitrary DiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Internal Methods arbitrary :: Gen DiffusionScript # shrink :: DiffusionScript -> [DiffusionScript] #
Show DiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Internal Methods showsPrec :: Int -> DiffusionScript -> ShowS # show :: DiffusionScript -> String # showList :: [DiffusionScript] -> ShowS #

data SimArgs Source #

Diffusion Simulator Arguments

Contains all necessary randomly generated values needed to run diffusion in simulation.

Constructors

SimArgs
Fields saSlot :: DiffTime `randomBlockGenerationArgs` slot duration argument saQuota :: Int `randomBlockGenerationArgs` quota value

Instances

Instances details

Show SimArgs Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Internal Methods showsPrec :: Int -> SimArgs -> ShowS # show :: SimArgs -> String # showList :: [SimArgs] -> ShowS #

mainnetSimArgs :: Int -> SimArgs Source #

Simulation arguments.

Slot length needs to be greater than 0 else we get a livelock on the IOSim.

Quota values matches mainnet, so a slot length of 1s and 1 / 20 chance that someone gets to make a block.

data NodeArgs Source #

Diffusion Simulator Node Arguments

Contains all necessary randomly generated values needed to run a node in simulation.

Constructors

NodeArgs

Fields

naSeed :: Int
randomBlockGenerationArgs seed argument
naDiffusionMode :: DiffusionMode
naMbTime :: Maybe DiffTime
LimitsAndTimeouts argument
naPublicRoots :: Map RelayAccessPoint PeerAdvertise
Interfaces relays auxiliary value
naConsensusMode :: ConsensusMode
naBootstrapPeers :: Script UseBootstrapPeers
Interfaces relays auxiliary value
naAddr :: NtNAddr
Arguments aIPAddress value
naPeerSharing :: PeerSharing
Arguments aOwnPeerSharing value
naLocalRootPeers :: [(HotValency, WarmValency, Map RelayAccessPoint LocalRootConfig)]
naLedgerPeers :: Script LedgerPools
Arguments LocalRootPeers values
naPeerTargets :: ConsensusModePeerTargets
Arguments aLocalSelectionTargets value
naDNSTimeoutScript :: Script DNSTimeout
Arguments aDNSTimeoutScript value
naDNSLookupDelayScript :: Script DNSLookupDelay
Arguments aDNSLookupDelayScript value
naChainSyncExitOnBlockNo :: Maybe BlockNo
naChainSyncEarlyExit :: Bool
naFetchModeScript :: Script PraosFetchMode

Instances

Instances details

Show NodeArgs Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Internal Methods showsPrec :: Int -> NodeArgs -> ShowS # show :: NodeArgs -> String # showList :: [NodeArgs] -> ShowS #

data ServiceDomainName Source #

Constructors

DomainName Domain	a well configured domain name
Misconfigured Domain	a domain name which is advertised but its' IPs are wrong.
NoDomainName

Instances

Instances details

Arbitrary ServiceDomainName Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Internal Methods arbitrary :: Gen ServiceDomainName # shrink :: ServiceDomainName -> [ServiceDomainName] #
Show ServiceDomainName Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Internal Methods showsPrec :: Int -> ServiceDomainName -> ShowS # show :: ServiceDomainName -> String # showList :: [ServiceDomainName] -> ShowS #

data Command Source #

Constructors

JoinNetwork DiffTime
Kill DiffTime
Reconfigure DiffTime [(HotValency, WarmValency, Map RelayAccessPoint LocalRootConfig)]

Instances

Instances details

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

data HotDiffusionScript Source #

Multinode Hot Diffusion Simulator Script

List of SimArgs. Each element of the list represents one running node.

Constructors

HotDiffusionScript SimArgs DomainMapScript [(NodeArgs, [Command])]

Instances

Instances details

Arbitrary HotDiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Internal Methods arbitrary :: Gen HotDiffusionScript # shrink :: HotDiffusionScript -> [HotDiffusionScript] #
Show HotDiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Internal Methods showsPrec :: Int -> HotDiffusionScript -> ShowS # show :: HotDiffusionScript -> String # showList :: [HotDiffusionScript] -> ShowS #

QuickCheck properties

prop_diffusionScript_fixupCommands :: DiffusionScript -> Property Source #

prop_diffusionScript_commandScript_valid :: DiffusionScript -> Property Source #

Tracing

data DiffusionSimulationTrace Source #

Diffusion Simulation Trace so we know what command is concurrently running

Constructors

TrJoiningNetwork
TrKillingNode
TrReconfiguringNode
TrUpdatingDNS
TrRunning
TrErrored SomeException

Instances

Instances details

Show DiffusionSimulationTrace Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Internal Methods showsPrec :: Int -> DiffusionSimulationTrace -> ShowS # show :: DiffusionSimulationTrace -> String # showList :: [DiffusionSimulationTrace] -> ShowS #

data DiffusionTestTrace Source #

Constructors

DiffusionLocalRootPeerTrace (TraceLocalRootPeers NtNAddr SomeException)
DiffusionPublicRootPeerTrace TracePublicRootPeers
DiffusionLedgerPeersTrace TraceLedgerPeers
DiffusionPeerSelectionTrace (TracePeerSelection NtNAddr)
DiffusionPeerSelectionActionsTrace (PeerSelectionActionsTrace NtNAddr NtNVersion)
DiffusionDebugPeerSelectionTrace (DebugPeerSelection NtNAddr)
DiffusionConnectionManagerTrace (Trace NtNAddr (ConnectionHandlerTrace NtNVersion NtNVersionData))
DiffusionDiffusionSimulationTrace DiffusionSimulationTrace
DiffusionConnectionManagerTransitionTrace (AbstractTransitionTrace ConnStateId)
DiffusionInboundGovernorTransitionTrace (RemoteTransitionTrace NtNAddr)
DiffusionInboundGovernorTrace (Trace NtNAddr)
DiffusionServerTrace (Trace NtNAddr)
DiffusionFetchTrace (TraceFetchClientState BlockHeader)
DiffusionDebugTrace String

Instances

Instances details

Show DiffusionTestTrace Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Internal Methods showsPrec :: Int -> DiffusionTestTrace -> ShowS # show :: DiffusionTestTrace -> String # showList :: [DiffusionTestTrace] -> ShowS #

iosimTracer :: forall s a. (Show a, Typeable a) => Tracer (IOSim s) (WithTime (WithName NtNAddr a)) Source #

A debug tracer which embeds events in DiffusionTestTrace.

Re-exports

newtype TestAddress addr #

Constructors

TestAddress
Fields getTestAddress :: addr

Instances

Instances details

NFData addr => NFData (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

rnf :: TestAddress addr -> () #

Generic (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Associated Types

type Rep (TestAddress addr)
Instance details Defined in Ouroboros.Network.Snocket type Rep (TestAddress addr) = D1 ('MetaData "TestAddress" "Ouroboros.Network.Snocket" "ouroboros-network-framework-0.14.0.0-inplace" 'True) (C1 ('MetaCons "TestAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTestAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 addr)))

Methods

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

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

Show addr => Show (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

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

show :: TestAddress addr -> String #

showList :: [TestAddress addr] -> ShowS #

Eq addr => Eq (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

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

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

Ord addr => Ord (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

compare :: TestAddress addr -> TestAddress addr -> Ordering #

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

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

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

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

max :: TestAddress addr -> TestAddress addr -> TestAddress addr #

min :: TestAddress addr -> TestAddress addr -> TestAddress addr #

Hashable addr => Hashable (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

hashWithSalt :: Int -> TestAddress addr -> Int #

hash :: TestAddress addr -> Int #

Typeable addr => NoThunks (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

Methods

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

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

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

type Rep (TestAddress addr)

Instance details

Defined in Ouroboros.Network.Snocket

type Rep (TestAddress addr) = D1 ('MetaData "TestAddress" "Ouroboros.Network.Snocket" "ouroboros-network-framework-0.14.0.0-inplace" 'True) (C1 ('MetaCons "TestAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTestAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 addr)))

data RelayAccessPoint #

A relay can have either an IP address and a port number or a domain with a port number

Constructors

RelayAccessDomain !Domain !PortNumber
RelayAccessAddress !IP !PortNumber

Bundled Patterns

pattern RelayDomainAccessPoint :: DomainAccessPoint -> RelayAccessPoint

RelayDomainAccessPoint a bidirectional pattern which links RelayAccessDomain and DomainAccessPoint.

Instances

Instances details

Arbitrary RelayAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.Instances Methods arbitrary :: Gen RelayAccessPoint # shrink :: RelayAccessPoint -> [RelayAccessPoint] #
FromJSON RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods parseJSON :: Value -> Parser RelayAccessPoint # parseJSONList :: Value -> Parser [RelayAccessPoint] # omittedField :: Maybe RelayAccessPoint #
ToJSON RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods toJSON :: RelayAccessPoint -> Value # toEncoding :: RelayAccessPoint -> Encoding # toJSONList :: [RelayAccessPoint] -> Value # toEncodingList :: [RelayAccessPoint] -> Encoding # omitField :: RelayAccessPoint -> Bool #
NFData RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods rnf :: RelayAccessPoint -> () #
Show RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods showsPrec :: Int -> RelayAccessPoint -> ShowS # show :: RelayAccessPoint -> String # showList :: [RelayAccessPoint] -> ShowS #
Eq RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods (==) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (/=) :: RelayAccessPoint -> RelayAccessPoint -> Bool #
Ord RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods compare :: RelayAccessPoint -> RelayAccessPoint -> Ordering # (<) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (<=) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (>) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (>=) :: RelayAccessPoint -> RelayAccessPoint -> Bool # max :: RelayAccessPoint -> RelayAccessPoint -> RelayAccessPoint # min :: RelayAccessPoint -> RelayAccessPoint -> RelayAccessPoint #

newtype Script a #

Constructors

Script (NonEmpty a)

Instances

Instances details

Functor Script
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods fmap :: (a -> b) -> Script a -> Script b # (<$) :: a -> Script b -> Script a #
Foldable Script
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods fold :: Monoid m => Script m -> m # foldMap :: Monoid m => (a -> m) -> Script a -> m # foldMap' :: Monoid m => (a -> m) -> Script a -> m # foldr :: (a -> b -> b) -> b -> Script a -> b # foldr' :: (a -> b -> b) -> b -> Script a -> b # foldl :: (b -> a -> b) -> b -> Script a -> b # foldl' :: (b -> a -> b) -> b -> Script a -> b # foldr1 :: (a -> a -> a) -> Script a -> a # foldl1 :: (a -> a -> a) -> Script a -> a # toList :: Script a -> [a] # null :: Script a -> Bool # length :: Script a -> Int # elem :: Eq a => a -> Script a -> Bool # maximum :: Ord a => Script a -> a # minimum :: Ord a => Script a -> a # sum :: Num a => Script a -> a # product :: Num a => Script a -> a #
Traversable Script
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods traverse :: Applicative f => (a -> f b) -> Script a -> f (Script b) # sequenceA :: Applicative f => Script (f a) -> f (Script a) # mapM :: Monad m => (a -> m b) -> Script a -> m (Script b) # sequence :: Monad m => Script (m a) -> m (Script a) #
Arbitrary a => Arbitrary (Script a)
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods arbitrary :: Gen (Script a) # shrink :: Script a -> [Script a] #
Show a => Show (Script a)
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods showsPrec :: Int -> Script a -> ShowS # show :: Script a -> String # showList :: [Script a] -> ShowS #
Eq a => Eq (Script a)
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods (==) :: Script a -> Script a -> Bool # (/=) :: Script a -> Script a -> Bool #

data ConsensusModePeerTargets #

Provides alternate peer selection targets for various syncing modes.

Constructors

ConsensusModePeerTargets
Fields deadlineTargets :: !PeerSelectionTargets syncTargets :: !PeerSelectionTargets

Instances

Instances details

Arbitrary ConsensusModePeerTargets Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.Instances Methods arbitrary :: Gen ConsensusModePeerTargets # shrink :: ConsensusModePeerTargets -> [ConsensusModePeerTargets] #
Show ConsensusModePeerTargets
Instance details Defined in Ouroboros.Network.PeerSelection.Governor.Types Methods showsPrec :: Int -> ConsensusModePeerTargets -> ShowS # show :: ConsensusModePeerTargets -> String # showList :: [ConsensusModePeerTargets] -> ShowS #
Eq ConsensusModePeerTargets
Instance details Defined in Ouroboros.Network.PeerSelection.Governor.Types Methods (==) :: ConsensusModePeerTargets -> ConsensusModePeerTargets -> Bool # (/=) :: ConsensusModePeerTargets -> ConsensusModePeerTargets -> Bool #

data DebugPeerSelection peeraddr where #

Constructors

TraceGovernorState :: forall peeraddr peerconn. Show peerconn => Time -> Maybe DiffTime -> PeerSelectionState peeraddr peerconn -> DebugPeerSelection peeraddr

Instances

Instances details

(Ord peeraddr, Show peeraddr) => Show (DebugPeerSelection peeraddr)
Instance details Defined in Ouroboros.Network.PeerSelection.Governor.Types Methods showsPrec :: Int -> DebugPeerSelection peeraddr -> ShowS # show :: DebugPeerSelection peeraddr -> String # showList :: [DebugPeerSelection peeraddr] -> ShowS #

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

Arbitrary PeerSelectionTargets Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.Instances Methods arbitrary :: Gen PeerSelectionTargets # shrink :: PeerSelectionTargets -> [PeerSelectionTargets] #
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 #

data TracePeerSelection peeraddr #

Instances

Instances details

(Ord peeraddr, Show peeraddr) => Show (TracePeerSelection peeraddr)
Instance details Defined in Ouroboros.Network.PeerSelection.Governor.Types Methods showsPrec :: Int -> TracePeerSelection peeraddr -> ShowS # show :: TracePeerSelection peeraddr -> String # showList :: [TracePeerSelection peeraddr] -> ShowS #

newtype DNSTimeout Source #

Constructors

DNSTimeout
Fields getDNSTimeout :: DiffTime

Instances

Instances details

Arbitrary DNSTimeout Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods arbitrary :: Gen DNSTimeout # shrink :: DNSTimeout -> [DNSTimeout] #
Show DNSTimeout Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods showsPrec :: Int -> DNSTimeout -> ShowS # show :: DNSTimeout -> String # showList :: [DNSTimeout] -> ShowS #

newtype DNSLookupDelay Source #

Constructors

DNSLookupDelay
Fields getDNSLookupDelay :: DiffTime

Instances

Instances details

Arbitrary DNSLookupDelay Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods arbitrary :: Gen DNSLookupDelay # shrink :: DNSLookupDelay -> [DNSLookupDelay] #
Show DNSLookupDelay Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods showsPrec :: Int -> DNSLookupDelay -> ShowS # show :: DNSLookupDelay -> String # showList :: [DNSLookupDelay] -> ShowS #