Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation

Contents

Tracing
Re-exports

Synopsis

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 PeerTrustable))]
- naLedgerPeers :: Script LedgerPools
- naPeerTargets :: (PeerSelectionTargets, PeerSelectionTargets)
- naDNSTimeoutScript :: Script DNSTimeout
- naDNSLookupDelayScript :: Script DNSLookupDelay
- naChainSyncExitOnBlockNo :: Maybe BlockNo
- naChainSyncEarlyExit :: Bool
- naFetchModeScript :: Script PraosFetchMode
}
data ServiceDomainName
- = DomainName Domain
- | Misconfigured Domain
- | NoDomainName
data DiffusionScript = DiffusionScript SimArgs DomainMapScript [(NodeArgs, [Command])]
data HotDiffusionScript = HotDiffusionScript SimArgs DomainMapScript [(NodeArgs, [Command])]
data DiffusionSimulationTrace
- = TrJoiningNetwork
- | TrKillingNode
- | TrReconfiguringNode
- | TrUpdatingDNS
- | TrRunning
- | TrErrored SomeException
prop_diffusionScript_fixupCommands :: DiffusionScript -> Property
prop_diffusionScript_commandScript_valid :: DiffusionScript -> Property
fixupCommands :: [Command] -> [Command]
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 Command
- = JoinNetwork DiffTime
- | Kill DiffTime
- | Reconfigure DiffTime [(HotValency, WarmValency, Map RelayAccessPoint (LocalRootConfig PeerTrustable))]
data DiffusionTestTrace
- = DiffusionLocalRootPeerTrace (TraceLocalRootPeers PeerTrustable NtNAddr SomeException)
- | DiffusionPublicRootPeerTrace TracePublicRootPeers
- | DiffusionLedgerPeersTrace TraceLedgerPeers
- | DiffusionPeerSelectionTrace (TracePeerSelection ExtraState PeerTrustable (ExtraPeers NtNAddr) NtNAddr)
- | DiffusionPeerSelectionActionsTrace (PeerSelectionActionsTrace NtNAddr NtNVersion)
- | DiffusionDebugPeerSelectionTrace (DebugPeerSelection ExtraState PeerTrustable (ExtraPeers NtNAddr) NtNAddr)
- | DiffusionConnectionManagerTrace (Trace NtNAddr (ConnectionHandlerTrace NtNVersion NtNVersionData))
- | DiffusionDiffusionSimulationTrace DiffusionSimulationTrace
- | DiffusionConnectionManagerTransitionTrace (AbstractTransitionTrace ConnStateId)
- | DiffusionInboundGovernorTransitionTrace (RemoteTransitionTrace NtNAddr)
- | DiffusionInboundGovernorTrace (Trace NtNAddr)
- | DiffusionServerTrace (Trace NtNAddr)
- | DiffusionFetchTrace (TraceFetchClientState BlockHeader)
- | DiffusionChurnModeTrace TracerChurnMode
- | DiffusionDebugTrace String
- | DiffusionDNSTrace DNSTrace
iosimTracer :: forall s a. (Show a, Typeable a) => Tracer (IOSim s) (WithTime (WithName NtNAddr a))
newtype TestAddress addr = TestAddress {
- getTestAddress :: addr
}
data RelayAccessPoint
- = RelayAccessDomain !Domain !PortNumber
- | RelayAccessSRVDomain !Domain
- | RelayAccessAddress !IP !PortNumber
newtype Script a = Script (NonEmpty a)
newtype DNSLookupDelay = DNSLookupDelay {
- getDNSLookupDelay :: DiffTime
}
newtype DNSTimeout = DNSTimeout {
- getDNSTimeout :: DiffTime
}
data DomainAccessPoint
- = DomainAccessPoint !Domain PortNumber
- | DomainSRVAccessPoint !Domain
type MockDNSMap = Map (Domain, TYPE) MockDNSLookupResult
genDomainName :: Gen ByteString

Documentation

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.Diffusion.Testnet.Cardano.Simulation 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 PeerTrustable))]
naLedgerPeers :: Script LedgerPools
Arguments LocalRootPeers values
naPeerTargets :: (PeerSelectionTargets, PeerSelectionTargets)
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.Diffusion.Testnet.Cardano.Simulation 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.Diffusion.Testnet.Cardano.Simulation Methods arbitrary :: Gen ServiceDomainName # shrink :: ServiceDomainName -> [ServiceDomainName] #
Show ServiceDomainName Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> ServiceDomainName -> ShowS # show :: ServiceDomainName -> String # showList :: [ServiceDomainName] -> ShowS #

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.Diffusion.Testnet.Cardano.Simulation Methods arbitrary :: Gen DiffusionScript # shrink :: DiffusionScript -> [DiffusionScript] #
Show DiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> DiffusionScript -> ShowS # show :: DiffusionScript -> String # showList :: [DiffusionScript] -> ShowS #

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.Diffusion.Testnet.Cardano.Simulation Methods arbitrary :: Gen HotDiffusionScript # shrink :: HotDiffusionScript -> [HotDiffusionScript] #
Show HotDiffusionScript Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> HotDiffusionScript -> ShowS # show :: HotDiffusionScript -> String # showList :: [HotDiffusionScript] -> ShowS #

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.Diffusion.Testnet.Cardano.Simulation Methods showsPrec :: Int -> DiffusionSimulationTrace -> ShowS # show :: DiffusionSimulationTrace -> String # showList :: [DiffusionSimulationTrace] -> ShowS #

prop_diffusionScript_fixupCommands :: DiffusionScript -> Property Source #

prop_diffusionScript_commandScript_valid :: DiffusionScript -> Property Source #

fixupCommands :: [Command] -> [Command] Source #

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 Command Source #

Constructors

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

Instances

Instances details

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

Tracing

data DiffusionTestTrace Source #

Constructors

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

Instances

Instances details

Show DiffusionTestTrace Source #
Instance details Defined in Test.Ouroboros.Network.Diffusion.Testnet.Cardano.Simulation 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.17.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.17.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
RelayAccessSRVDomain !Domain
RelayAccessAddress !IP !PortNumber

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 #
FromCBOR RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods fromCBOR :: Decoder s RelayAccessPoint # label :: Proxy RelayAccessPoint -> Text #
ToCBOR RelayAccessPoint
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods toCBOR :: RelayAccessPoint -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy RelayAccessPoint -> Size # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [RelayAccessPoint] -> Size #
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 Test.Ouroboros.Network.Data.Script Methods fmap :: (a -> b) -> Script a -> Script b # (<$) :: a -> Script b -> Script a #
Foldable Script
Instance details Defined in Test.Ouroboros.Network.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 Test.Ouroboros.Network.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 Test.Ouroboros.Network.Data.Script Methods arbitrary :: Gen (Script a) # shrink :: Script a -> [Script a] #
Show a => Show (Script a)
Instance details Defined in Test.Ouroboros.Network.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 Test.Ouroboros.Network.Data.Script Methods (==) :: Script a -> Script a -> Bool # (/=) :: Script a -> Script a -> Bool #

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 #

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 #

data DomainAccessPoint Source #

Constructors

DomainAccessPoint !Domain PortNumber
DomainSRVAccessPoint !Domain

Instances

Instances details

Arbitrary DomainAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods arbitrary :: Gen DomainAccessPoint # shrink :: DomainAccessPoint -> [DomainAccessPoint] #
Show DomainAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods showsPrec :: Int -> DomainAccessPoint -> ShowS # show :: DomainAccessPoint -> String # showList :: [DomainAccessPoint] -> ShowS #
Eq DomainAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods (==) :: DomainAccessPoint -> DomainAccessPoint -> Bool # (/=) :: DomainAccessPoint -> DomainAccessPoint -> Bool #
Ord DomainAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS Methods compare :: DomainAccessPoint -> DomainAccessPoint -> Ordering # (<) :: DomainAccessPoint -> DomainAccessPoint -> Bool # (<=) :: DomainAccessPoint -> DomainAccessPoint -> Bool # (>) :: DomainAccessPoint -> DomainAccessPoint -> Bool # (>=) :: DomainAccessPoint -> DomainAccessPoint -> Bool # max :: DomainAccessPoint -> DomainAccessPoint -> DomainAccessPoint # min :: DomainAccessPoint -> DomainAccessPoint -> DomainAccessPoint #

type MockDNSMap = Map (Domain, TYPE) MockDNSLookupResult Source #

genDomainName :: Gen ByteString Source #

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result