ouroboros-network-0.10.1.0: A networking layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Ouroboros.Network.Diffusion.Policies

Documentation

tests :: TestTree Source #

newtype ArbitrarySockAddr Source #

Constructors

ArbitrarySockAddr SockAddr 

Instances

Instances details
Arbitrary ArbitrarySockAddr Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

arbitrary :: Gen ArbitrarySockAddr

shrink :: ArbitrarySockAddr -> [ArbitrarySockAddr]

Show ArbitrarySockAddr Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

showsPrec :: Int -> ArbitrarySockAddr -> ShowS Source #

show :: ArbitrarySockAddr -> String Source #

showList :: [ArbitrarySockAddr] -> ShowS Source #

Eq ArbitrarySockAddr Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

(==) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool Source #

(/=) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool Source #

Ord ArbitrarySockAddr Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

compare :: ArbitrarySockAddr -> ArbitrarySockAddr -> Ordering Source #

(<) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool Source #

(<=) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool Source #

(>) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool Source #

(>=) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool Source #

max :: ArbitrarySockAddr -> ArbitrarySockAddr -> ArbitrarySockAddr Source #

min :: ArbitrarySockAddr -> ArbitrarySockAddr -> ArbitrarySockAddr Source #

data ArbitraryPeerInfo Source #

Constructors

ArbitraryPeerInfo 

Fields

Instances

Instances details
Arbitrary ArbitraryPeerInfo Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

arbitrary :: Gen ArbitraryPeerInfo

shrink :: ArbitraryPeerInfo -> [ArbitraryPeerInfo]

Show ArbitraryPeerInfo Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

showsPrec :: Int -> ArbitraryPeerInfo -> ShowS Source #

show :: ArbitraryPeerInfo -> String Source #

showList :: [ArbitraryPeerInfo] -> ShowS Source #

data ArbitraryPolicyArguments Source #

Constructors

ArbitraryPolicyArguments 

Fields

Instances

Instances details
Arbitrary ArbitraryPolicyArguments Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

arbitrary :: Gen ArbitraryPolicyArguments

shrink :: ArbitraryPolicyArguments -> [ArbitraryPolicyArguments]

Show ArbitraryPolicyArguments Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

showsPrec :: Int -> ArbitraryPolicyArguments -> ShowS Source #

show :: ArbitraryPolicyArguments -> String Source #

showList :: [ArbitraryPolicyArguments] -> ShowS Source #

data ArbitraryDemotion Source #

Constructors

ArbitraryWarmDemotion 
ArbitraryColdDemotion 

Instances

Instances details
Arbitrary ArbitraryDemotion Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

arbitrary :: Gen ArbitraryDemotion

shrink :: ArbitraryDemotion -> [ArbitraryDemotion]

Show ArbitraryDemotion Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

showsPrec :: Int -> ArbitraryDemotion -> ShowS Source #

show :: ArbitraryDemotion -> String Source #

showList :: [ArbitraryDemotion] -> ShowS Source #

newtype ArbitraryChurnMode Source #

Constructors

ArbitraryChurnMode ChurnMode 

Instances

Instances details
Arbitrary ArbitraryChurnMode Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

arbitrary :: Gen ArbitraryChurnMode

shrink :: ArbitraryChurnMode -> [ArbitraryChurnMode]

Show ArbitraryChurnMode Source # 
Instance details

Defined in Test.Ouroboros.Network.Diffusion.Policies

Methods

showsPrec :: Int -> ArbitraryChurnMode -> ShowS Source #

show :: ArbitraryChurnMode -> String Source #

showList :: [ArbitraryChurnMode] -> ShowS Source #

prop_hotToWarm :: ArbitraryPolicyArguments -> Int -> Property Source #

prop_hotToWarmM :: forall m. (MonadLabelledSTM m, Monad (STM m)) => ArbitraryPolicyArguments -> Int -> m Property Source #

prop_randomDemotion :: ArbitraryPolicyArguments -> Int -> Property Source #

prop_randomDemotionM :: forall m. (MonadLabelledSTM m, Monad (STM m)) => ArbitraryPolicyArguments -> Int -> m Property Source #