Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.Ouroboros.Network.PeerSelection.Instances
Contents
Synopsis
- newtype PeerAddr = PeerAddr Int
- newtype TestSeed = TestSeed {
- unTestSeed :: Int
- genIPv4 :: Gen IP
- genIPv6 :: Gen IP
- genPort :: Gen PortNumber
- 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 # | |
Hashable PeerAddr Source # | |
Seed for domain lookups
Constructors
TestSeed | |
Fields
|
genPort :: Gen PortNumber Source #
Orphan instances
Arbitrary SlotNo Source # | |
Arbitrary PeerSelectionTargets Source # | |
Methods | |
Arbitrary AfterSlot Source # | |
Arbitrary UseLedgerPeers Source # | |
Arbitrary PeerAdvertise Source # | |
Arbitrary PeerSharing Source # | |
Arbitrary RelayAccessPoint Source # | |
Arbitrary extraFlags => Arbitrary (LocalRootConfig extraFlags) Source # | |
Methods arbitrary :: Gen (LocalRootConfig extraFlags) # shrink :: LocalRootConfig extraFlags -> [LocalRootConfig extraFlags] # |