Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Network.PeerSelection.LocalRootPeers

Contents

Synopsis

arbitraryLocalRootPeers :: (Ord peeraddr, Arbitrary extraFlags) => Set peeraddr -> Gen (LocalRootPeers extraFlags peeraddr)
restrictKeys :: Ord peeraddr => LocalRootPeers extraFlags peeraddr -> Set peeraddr -> LocalRootPeers extraFlags peeraddr
tests :: TestTree
data LocalRootPeers extraFlags peeraddr = LocalRootPeers (Map peeraddr (LocalRootConfig extraFlags)) [(HotValency, WarmValency, Set peeraddr)]
newtype HotValency = HotValency {
- getHotValency :: Int
}
newtype WarmValency = WarmValency {
- getWarmValency :: Int
}

Documentation

arbitraryLocalRootPeers :: (Ord peeraddr, Arbitrary extraFlags) => Set peeraddr -> Gen (LocalRootPeers extraFlags peeraddr) Source #

restrictKeys :: Ord peeraddr => LocalRootPeers extraFlags peeraddr -> Set peeraddr -> LocalRootPeers extraFlags peeraddr Source #

data LocalRootPeers extraFlags peeraddr #

Constructors

Instances details

(Arbitrary extraFlags, Arbitrary peeraddr, Ord peeraddr) => Arbitrary (LocalRootPeers extraFlags peeraddr) Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.LocalRootPeers Methods arbitrary :: Gen (LocalRootPeers extraFlags peeraddr) # shrink :: LocalRootPeers extraFlags peeraddr -> [LocalRootPeers extraFlags peeraddr] #
(Show extraFlags, Show peeraddr, Ord peeraddr) => Show (LocalRootPeers extraFlags peeraddr)
Instance details Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers Methods showsPrec :: Int -> LocalRootPeers extraFlags peeraddr -> ShowS # show :: LocalRootPeers extraFlags peeraddr -> String # showList :: [LocalRootPeers extraFlags peeraddr] -> ShowS #
(Eq peeraddr, Eq extraFlags) => Eq (LocalRootPeers extraFlags peeraddr)
Instance details Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers Methods (==) :: LocalRootPeers extraFlags peeraddr -> LocalRootPeers extraFlags peeraddr -> Bool # (/=) :: LocalRootPeers extraFlags peeraddr -> LocalRootPeers extraFlags peeraddr -> Bool #

Newtype wrapper representing hot valency value from local root group configuration

Constructors

HotValency
Fields getHotValency :: Int

Instances details

Arbitrary HotValency Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.LocalRootPeers Methods arbitrary :: Gen HotValency # shrink :: HotValency -> [HotValency] #
Num HotValency
Instance details Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers Methods (+) :: HotValency -> HotValency -> HotValency # (-) :: HotValency -> HotValency -> HotValency # (*) :: HotValency -> HotValency -> HotValency # negate :: HotValency -> HotValency # abs :: HotValency -> HotValency # signum :: HotValency -> HotValency # fromInteger :: Integer -> HotValency #
Show HotValency
Instance details Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers Methods showsPrec :: Int -> HotValency -> ShowS # show :: HotValency -> String # showList :: [HotValency] -> ShowS #
Eq HotValency
Instance details Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers Methods (==) :: HotValency -> HotValency -> Bool # (/=) :: HotValency -> HotValency -> Bool #
Ord HotValency
Instance details Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers Methods compare :: HotValency -> HotValency -> Ordering # (<) :: HotValency -> HotValency -> Bool # (<=) :: HotValency -> HotValency -> Bool # (>) :: HotValency -> HotValency -> Bool # (>=) :: HotValency -> HotValency -> Bool # max :: HotValency -> HotValency -> HotValency # min :: HotValency -> HotValency -> HotValency #

Newtype wrapper representing warm valency value from local root group configuration

Constructors

WarmValency
Fields getWarmValency :: Int

Instances details

Arbitrary WarmValency Source #
Instance details Defined in Test.Ouroboros.Network.PeerSelection.LocalRootPeers Methods arbitrary :: Gen WarmValency # shrink :: WarmValency -> [WarmValency] #
Num WarmValency
Instance details Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers Methods (+) :: WarmValency -> WarmValency -> WarmValency # (-) :: WarmValency -> WarmValency -> WarmValency # (*) :: WarmValency -> WarmValency -> WarmValency # negate :: WarmValency -> WarmValency # abs :: WarmValency -> WarmValency # signum :: WarmValency -> WarmValency # fromInteger :: Integer -> WarmValency #
Show WarmValency
Instance details Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers Methods showsPrec :: Int -> WarmValency -> ShowS # show :: WarmValency -> String # showList :: [WarmValency] -> ShowS #
Eq WarmValency
Instance details Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers Methods (==) :: WarmValency -> WarmValency -> Bool # (/=) :: WarmValency -> WarmValency -> Bool #
Ord WarmValency
Instance details Defined in Ouroboros.Network.PeerSelection.State.LocalRootPeers Methods compare :: WarmValency -> WarmValency -> Ordering # (<) :: WarmValency -> WarmValency -> Bool # (<=) :: WarmValency -> WarmValency -> Bool # (>) :: WarmValency -> WarmValency -> Bool # (>=) :: WarmValency -> WarmValency -> Bool # max :: WarmValency -> WarmValency -> WarmValency # min :: WarmValency -> WarmValency -> WarmValency #

Orphan instances

Arbitrary HotValency Source #
Instance details Methods arbitrary :: Gen HotValency # shrink :: HotValency -> [HotValency] #
Arbitrary WarmValency Source #
Instance details Methods arbitrary :: Gen WarmValency # shrink :: WarmValency -> [WarmValency] #
(Arbitrary extraFlags, Arbitrary peeraddr, Ord peeraddr) => Arbitrary (LocalRootPeers extraFlags peeraddr) Source #
Instance details Methods arbitrary :: Gen (LocalRootPeers extraFlags peeraddr) # shrink :: LocalRootPeers extraFlags peeraddr -> [LocalRootPeers extraFlags peeraddr] #