ouroboros-network:sim-tests-lib
Safe HaskellNone
LanguageHaskell2010

Test.Ouroboros.Network.PeerSelection.RootPeersDNS

Synopsis

Documentation

tests :: TestTree Source #

mockDNSActions :: forall exception (m :: Type -> Type). (MonadDelay m, MonadTimer m) => StrictTVar m (Map Domain [(IP, TTL)]) -> StrictTVar m (Script DNSTimeout) -> StrictTVar m (Script DNSLookupDelay) -> DNSActions () exception m Source #

Mock DNSActions data structure for testing purposes. Adds DNS Lookup function for IOSim with different timeout and lookup delays for every attempt.

data MockRoots Source #

Constructors

MockRoots 

Fields

Instances

Instances details
Arbitrary MockRoots Source # 
Instance details

Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS

Methods

arbitrary :: Gen MockRoots #

shrink :: MockRoots -> [MockRoots] #

Show MockRoots Source # 
Instance details

Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS

Methods

showsPrec :: Int -> MockRoots -> ShowS #

show :: MockRoots -> String #

showList :: [MockRoots] -> ShowS #

newtype DNSTimeout Source #

Constructors

DNSTimeout 

Fields

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

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 #

data DelayAndTimeoutScripts Source #

Delay and timeout script which make sure that eventually the dns lookup will not timeout.

Constructors

DelayAndTimeoutScripts (Script DNSLookupDelay) (Script DNSTimeout) 

Instances

Instances details
Arbitrary DelayAndTimeoutScripts Source # 
Instance details

Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS

Methods

arbitrary :: Gen DelayAndTimeoutScripts #

shrink :: DelayAndTimeoutScripts -> [DelayAndTimeoutScripts] #

Show DelayAndTimeoutScripts Source # 
Instance details

Defined in Test.Ouroboros.Network.PeerSelection.RootPeersDNS

Methods

showsPrec :: Int -> DelayAndTimeoutScripts -> ShowS #

show :: DelayAndTimeoutScripts -> String #

showList :: [DelayAndTimeoutScripts] -> ShowS #