Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- arbitraryLocalRootPeers :: Ord peeraddr => Set peeraddr -> Gen (LocalRootPeers peeraddr)
- restrictKeys :: Ord peeraddr => LocalRootPeers peeraddr -> Set peeraddr -> LocalRootPeers peeraddr
- tests :: TestTree
- data LocalRootPeers peeraddr = LocalRootPeers (Map peeraddr (PeerAdvertise, PeerTrustable)) [(HotValency, WarmValency, Set peeraddr)]
- newtype HotValency = HotValency {
- getHotValency :: Int
- newtype WarmValency = WarmValency {}
Documentation
arbitraryLocalRootPeers :: Ord peeraddr => Set peeraddr -> Gen (LocalRootPeers peeraddr) Source #
restrictKeys :: Ord peeraddr => LocalRootPeers peeraddr -> Set peeraddr -> LocalRootPeers peeraddr Source #
data LocalRootPeers peeraddr #
LocalRootPeers (Map peeraddr (PeerAdvertise, PeerTrustable)) [(HotValency, WarmValency, Set peeraddr)] |
Instances
(Arbitrary peeraddr, Ord peeraddr) => Arbitrary (LocalRootPeers peeraddr) Source # | |
Defined in Test.Ouroboros.Network.PeerSelection.LocalRootPeers arbitrary :: Gen (LocalRootPeers peeraddr) # shrink :: LocalRootPeers peeraddr -> [LocalRootPeers peeraddr] # | |
(Show peeraddr, Ord peeraddr) => Show (LocalRootPeers peeraddr) | |
Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers showsPrec :: Int -> LocalRootPeers peeraddr -> ShowS # show :: LocalRootPeers peeraddr -> String # showList :: [LocalRootPeers peeraddr] -> ShowS # | |
Eq peeraddr => Eq (LocalRootPeers peeraddr) | |
Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers (==) :: LocalRootPeers peeraddr -> LocalRootPeers peeraddr -> Bool # (/=) :: LocalRootPeers peeraddr -> LocalRootPeers peeraddr -> Bool # |
newtype HotValency #
Newtype wrapper representing hot valency value from local root group configuration
Instances
newtype WarmValency #
Newtype wrapper representing warm valency value from local root group configuration
Instances
Orphan instances
Arbitrary HotValency Source # | |
arbitrary :: Gen HotValency # shrink :: HotValency -> [HotValency] # | |
Arbitrary WarmValency Source # | |
arbitrary :: Gen WarmValency # shrink :: WarmValency -> [WarmValency] # | |
(Arbitrary peeraddr, Ord peeraddr) => Arbitrary (LocalRootPeers peeraddr) Source # | |
arbitrary :: Gen (LocalRootPeers peeraddr) # shrink :: LocalRootPeers peeraddr -> [LocalRootPeers peeraddr] # |