Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Network.PeerSelection.Instances

Contents

Orphan instances

Synopsis

newtype PeerAddr = PeerAddr Int
genIPv4 :: Gen IP
genIPv6 :: Gen IP
prop_arbitrary_PeerSelectionTargets :: PeerSelectionTargets -> Bool
prop_shrink_PeerSelectionTargets :: ShrinkCarefully PeerSelectionTargets -> Property

Documentation

newtype PeerAddr Source #

Simple address representation for the tests

Constructors

PeerAddr Int

Instances

Instances details

Arbitrary PeerAddr Source #	We mostly avoid using this instance since we need careful control over the peer addrs, e.g. to make graphs work, and sets overlap etc. But it's here for the few cases that need it, and it is used for (lack-of) shrinking.
Instance details Defined in Test.Ouroboros.Network.PeerSelection.Instances Methods arbitrary :: Gen PeerAddr # shrink :: PeerAddr -> [PeerAddr] #
Show PeerAddr Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.Instances Methods showsPrec :: Int -> PeerAddr -> ShowS # show :: PeerAddr -> String # showList :: [PeerAddr] -> ShowS #
Eq PeerAddr Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.Instances Methods (==) :: PeerAddr -> PeerAddr -> Bool # (/=) :: PeerAddr -> PeerAddr -> Bool #
Ord PeerAddr Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.Instances Methods compare :: PeerAddr -> PeerAddr -> Ordering # (<) :: PeerAddr -> PeerAddr -> Bool # (<=) :: PeerAddr -> PeerAddr -> Bool # (>) :: PeerAddr -> PeerAddr -> Bool # (>=) :: PeerAddr -> PeerAddr -> Bool # max :: PeerAddr -> PeerAddr -> PeerAddr # min :: PeerAddr -> PeerAddr -> PeerAddr #
Hashable PeerAddr Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.Instances Methods hashWithSalt :: Int -> PeerAddr -> Int # hash :: PeerAddr -> Int #

genIPv4 :: Gen IP Source #

genIPv6 :: Gen IP Source #

prop_arbitrary_PeerSelectionTargets :: PeerSelectionTargets -> Bool Source #

prop_shrink_PeerSelectionTargets :: ShrinkCarefully PeerSelectionTargets -> Property Source #

Orphan instances

Arbitrary SlotNo Source #
Instance details Methods arbitrary :: Gen SlotNo # shrink :: SlotNo -> [SlotNo] #
Arbitrary ConsensusModePeerTargets Source #
Instance details Methods arbitrary :: Gen ConsensusModePeerTargets # shrink :: ConsensusModePeerTargets -> [ConsensusModePeerTargets] #
Arbitrary PeerSelectionTargets Source #
Instance details Methods arbitrary :: Gen PeerSelectionTargets # shrink :: PeerSelectionTargets -> [PeerSelectionTargets] #
Arbitrary ConsensusMode Source #
Instance details Methods arbitrary :: Gen ConsensusMode # shrink :: ConsensusMode -> [ConsensusMode] #
Arbitrary UseBootstrapPeers Source #
Instance details Methods arbitrary :: Gen UseBootstrapPeers # shrink :: UseBootstrapPeers -> [UseBootstrapPeers] #
Arbitrary AfterSlot Source #
Instance details Methods arbitrary :: Gen AfterSlot # shrink :: AfterSlot -> [AfterSlot] #
Arbitrary UseLedgerPeers Source #
Instance details Methods arbitrary :: Gen UseLedgerPeers # shrink :: UseLedgerPeers -> [UseLedgerPeers] #
Arbitrary PeerAdvertise Source #
Instance details Methods arbitrary :: Gen PeerAdvertise # shrink :: PeerAdvertise -> [PeerAdvertise] #
Arbitrary PeerSharing Source #
Instance details Methods arbitrary :: Gen PeerSharing # shrink :: PeerSharing -> [PeerSharing] #
Arbitrary PeerTrustable Source #
Instance details Methods arbitrary :: Gen PeerTrustable # shrink :: PeerTrustable -> [PeerTrustable] #
Arbitrary DomainAccessPoint Source #
Instance details Methods arbitrary :: Gen DomainAccessPoint # shrink :: DomainAccessPoint -> [DomainAccessPoint] #
Arbitrary RelayAccessPoint Source #
Instance details Methods arbitrary :: Gen RelayAccessPoint # shrink :: RelayAccessPoint -> [RelayAccessPoint] #