| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Network.Diffusion.Policies
Documentation
newtype ArbitrarySockAddr Source #
Constructors
| ArbitrarySockAddr SockAddr |
Instances
data ArbitraryPeerInfo Source #
Constructors
| ArbitraryPeerInfo | |
Fields
| |
Instances
| Arbitrary ArbitraryPeerInfo Source # | |
Defined in Test.Cardano.Network.Diffusion.Policies | |
| Show ArbitraryPeerInfo Source # | |
Defined in Test.Cardano.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.Cardano.Network.Diffusion.Policies Methods arbitrary :: Gen ArbitraryPolicyArguments # shrink :: ArbitraryPolicyArguments -> [ArbitraryPolicyArguments] # | |
| Show ArbitraryPolicyArguments Source # | |
Defined in Test.Cardano.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.Cardano.Network.Diffusion.Policies | |
| Show ArbitraryDemotion Source # | |
Defined in Test.Cardano.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.Cardano.Network.Diffusion.Policies | |
| Show ArbitraryChurnMode Source # | |
Defined in Test.Cardano.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 #