Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Network.Testnet.Policies

Documentation

Constructors

Instances details

Arbitrary ArbitrarySockAddr Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods arbitrary :: Gen ArbitrarySockAddr # shrink :: ArbitrarySockAddr -> [ArbitrarySockAddr] #
Show ArbitrarySockAddr Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods showsPrec :: Int -> ArbitrarySockAddr -> ShowS # show :: ArbitrarySockAddr -> String # showList :: [ArbitrarySockAddr] -> ShowS #
Eq ArbitrarySockAddr Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods (==) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool # (/=) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool #
Ord ArbitrarySockAddr Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods compare :: ArbitrarySockAddr -> ArbitrarySockAddr -> Ordering # (<) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool # (<=) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool # (>) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool # (>=) :: ArbitrarySockAddr -> ArbitrarySockAddr -> Bool # max :: ArbitrarySockAddr -> ArbitrarySockAddr -> ArbitrarySockAddr # min :: ArbitrarySockAddr -> ArbitrarySockAddr -> ArbitrarySockAddr #

Constructors

ArbitraryPeerInfo
Fields piFailCount :: !Int piTepid :: !Bool

Instances details

Arbitrary ArbitraryPeerInfo Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods arbitrary :: Gen ArbitraryPeerInfo # shrink :: ArbitraryPeerInfo -> [ArbitraryPeerInfo] #
Show ArbitraryPeerInfo Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods showsPrec :: Int -> ArbitraryPeerInfo -> ShowS # show :: ArbitraryPeerInfo -> String # showList :: [ArbitraryPeerInfo] -> ShowS #

Constructors

ArbitraryPolicyArguments
Fields apaAvailable :: Map SockAddr ArbitraryPeerInfo apaPickNum :: Int apaHeaderMetric :: SlotMetric SockAddr apaFetchedMetric :: SlotMetric (SockAddr, SizeInBytes) apaChurnMode :: ChurnMode apaDemotion :: ArbitraryDemotion

Instances details

Arbitrary ArbitraryPolicyArguments Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods arbitrary :: Gen ArbitraryPolicyArguments # shrink :: ArbitraryPolicyArguments -> [ArbitraryPolicyArguments] #
Show ArbitraryPolicyArguments Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods showsPrec :: Int -> ArbitraryPolicyArguments -> ShowS # show :: ArbitraryPolicyArguments -> String # showList :: [ArbitraryPolicyArguments] -> ShowS #

Constructors

ArbitraryWarmDemotion
ArbitraryColdDemotion

Instances details

Arbitrary ArbitraryDemotion Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods arbitrary :: Gen ArbitraryDemotion # shrink :: ArbitraryDemotion -> [ArbitraryDemotion] #
Show ArbitraryDemotion Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods showsPrec :: Int -> ArbitraryDemotion -> ShowS # show :: ArbitraryDemotion -> String # showList :: [ArbitraryDemotion] -> ShowS #

Constructors

Instances details

Arbitrary ArbitraryChurnMode Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods arbitrary :: Gen ArbitraryChurnMode # shrink :: ArbitraryChurnMode -> [ArbitraryChurnMode] #
Show ArbitraryChurnMode Source #
Instance details Defined in Test.Ouroboros.Network.Testnet.Policies Methods showsPrec :: Int -> ArbitraryChurnMode -> ShowS # show :: ArbitraryChurnMode -> String # showList :: [ArbitraryChurnMode] -> ShowS #