Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype ArbitrarySockAddr Source #
Instances
data ArbitraryPeerInfo Source #
ArbitraryPeerInfo | |
|
Instances
Arbitrary ArbitraryPeerInfo Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies | |
Show ArbitraryPeerInfo Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies showsPrec :: Int -> ArbitraryPeerInfo -> ShowS # show :: ArbitraryPeerInfo -> String # showList :: [ArbitraryPeerInfo] -> ShowS # |
data ArbitraryPolicyArguments Source #
Instances
data ArbitraryDemotion Source #
Instances
Arbitrary ArbitraryDemotion Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies | |
Show ArbitraryDemotion Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies showsPrec :: Int -> ArbitraryDemotion -> ShowS # show :: ArbitraryDemotion -> String # showList :: [ArbitraryDemotion] -> ShowS # |
newtype ArbitraryChurnMode Source #
Instances
Arbitrary ArbitraryChurnMode Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies | |
Show ArbitraryChurnMode Source # | |
Defined in Test.Ouroboros.Network.Diffusion.Policies 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 #