Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.Ouroboros.Network.Diffusion.Policies
Documentation
newtype ArbitrarySockAddr Source #
Constructors
ArbitrarySockAddr SockAddr |
Instances
data ArbitraryPeerInfo Source #
Constructors
ArbitraryPeerInfo | |
Fields
|
Instances
Arbitrary ArbitraryPeerInfo Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies | |
Show ArbitraryPeerInfo Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies Methods showsPrec :: Int -> ArbitraryPeerInfo -> ShowS # show :: ArbitraryPeerInfo -> String # showList :: [ArbitraryPeerInfo] -> ShowS # |
data ArbitraryPolicyArguments Source #
Constructors
ArbitraryPolicyArguments | |
Instances
Arbitrary ArbitraryPolicyArguments Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies Methods arbitrary :: Gen ArbitraryPolicyArguments # shrink :: ArbitraryPolicyArguments -> [ArbitraryPolicyArguments] # | |
Show ArbitraryPolicyArguments Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies Methods showsPrec :: Int -> ArbitraryPolicyArguments -> ShowS # show :: ArbitraryPolicyArguments -> String # showList :: [ArbitraryPolicyArguments] -> ShowS # |
data ArbitraryDemotion Source #
Constructors
ArbitraryWarmDemotion | |
ArbitraryColdDemotion |
Instances
Arbitrary ArbitraryDemotion Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies | |
Show ArbitraryDemotion Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies Methods showsPrec :: Int -> ArbitraryDemotion -> ShowS # show :: ArbitraryDemotion -> String # showList :: [ArbitraryDemotion] -> ShowS # |
newtype ArbitraryChurnMode Source #
Constructors
ArbitraryChurnMode ChurnMode |
Instances
Arbitrary ArbitraryChurnMode Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies | |
Show ArbitraryChurnMode Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies Methods showsPrec :: Int -> ArbitraryChurnMode -> ShowS # show :: ArbitraryChurnMode -> String # showList :: [ArbitraryChurnMode] -> ShowS # |
prop_hotToWarm :: ArbitraryPolicyArguments -> Int -> Property Source #
prop_hotToWarmM :: MonadLabelledSTM m => ArbitraryPolicyArguments -> Int -> m Property Source #
prop_randomDemotionM :: MonadLabelledSTM m => ArbitraryPolicyArguments -> Int -> m Property Source #