Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Ouroboros.Network.PeerSelection.Instances
Contents
Synopsis
- newtype PeerAddr = PeerAddr Int
- genIPv4 :: Gen IP
- genIPv6 :: Gen IP
- prop_arbitrary_PeerSelectionTargets :: PeerSelectionTargets -> Bool
- prop_shrink_PeerSelectionTargets :: ShrinkCarefully PeerSelectionTargets -> Property
Documentation
Simple address representation for the tests
Instances
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. |
Show PeerAddr Source # | |
Eq PeerAddr Source # | |
Ord PeerAddr Source # | |
prop_shrink_PeerSelectionTargets :: ShrinkCarefully PeerSelectionTargets -> Property Source #
Orphan instances
Arbitrary PeerSelectionTargets Source # | |
Methods arbitrary :: Gen PeerSelectionTargets | |
Arbitrary IsLedgerPeer Source # | |
Arbitrary PeerAdvertise Source # | |
Arbitrary PeerSharing Source # | |
Arbitrary DomainAccessPoint Source # | |
Arbitrary RelayAccessPoint Source # | |