Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Ouroboros.Network.LedgerPeers

Synopsis

tests :: TestTree
newtype ArbitraryPortNumber = ArbitraryPortNumber {
- getArbitraryPortNumber :: PortNumber
}
newtype ArbitraryRelayAccessPoint = ArbitraryRelayAccessPoint {
- getArbitraryRelayAccessPoint :: RelayAccessPoint
}
data StakePool = StakePool {
- spStake :: !Word64
- spRelay :: NonEmpty RelayAccessPoint
}
newtype LedgerPools = LedgerPools {
- getLedgerPools :: [(PoolStake, NonEmpty RelayAccessPoint)]
}
calculateRelativeStake :: [StakePool] -> [(PoolStake, NonEmpty RelayAccessPoint)]
genLedgerPoolsFrom :: [RelayAccessPoint] -> Gen LedgerPools
newtype ArbLedgerPeersKind = ArbLedgerPeersKind LedgerPeersKind
prop_pick100 :: Word16 -> NonNegative Int -> ArbLedgerPeersKind -> MockRoots -> DelayAndTimeoutScripts -> Property
prop_pick :: LedgerPools -> ArbLedgerPeersKind -> Word16 -> Word16 -> MockRoots -> Script DNSLookupDelay -> Property
prop_accBigPoolStake :: LedgerPools -> Property
data SimResult a
- = SimReturn a [String]
- | SimException SomeException [String]
- | SimDeadLock [String]
evaluateTrace :: SimTrace a -> IO (SimResult a)
data WithThreadAndTime a = WithThreadAndTime {
- wtatOccuredAt :: !Time
- wtatWithinThread :: !String
- wtatEvent :: !a
}
verboseTracer :: forall a m. (MonadAsync m, MonadSay m, MonadMonotonicTime m, Show a) => Tracer m a
threadAndTimeTracer :: forall a m. (MonadAsync m, MonadMonotonicTime m) => Tracer m (WithThreadAndTime a) -> Tracer m a

Documentation

tests :: TestTree Source #

newtype ArbitraryPortNumber Source #

Constructors

ArbitraryPortNumber
Fields getArbitraryPortNumber :: PortNumber

Instances

Instances details

Arbitrary ArbitraryPortNumber Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen ArbitraryPortNumber shrink :: ArbitraryPortNumber -> [ArbitraryPortNumber]

newtype ArbitraryRelayAccessPoint Source #

Constructors

ArbitraryRelayAccessPoint
Fields getArbitraryRelayAccessPoint :: RelayAccessPoint

Instances

Instances details

Arbitrary ArbitraryRelayAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen ArbitraryRelayAccessPoint shrink :: ArbitraryRelayAccessPoint -> [ArbitraryRelayAccessPoint]
Eq ArbitraryRelayAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods (==) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool Source # (/=) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool Source #
Ord ArbitraryRelayAccessPoint Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods compare :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Ordering Source # (<) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool Source # (<=) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool Source # (>) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool Source # (>=) :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> Bool Source # max :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint Source # min :: ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint -> ArbitraryRelayAccessPoint Source #

data StakePool Source #

Constructors

StakePool
Fields spStake :: !Word64 spRelay :: NonEmpty RelayAccessPoint

Instances

Instances details

Arbitrary StakePool Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen StakePool shrink :: StakePool -> [StakePool]
Show StakePool Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods showsPrec :: Int -> StakePool -> ShowS Source # show :: StakePool -> String Source # showList :: [StakePool] -> ShowS Source #

newtype LedgerPools Source #

Constructors

LedgerPools
Fields getLedgerPools :: [(PoolStake, NonEmpty RelayAccessPoint)]

Instances

Instances details

Arbitrary LedgerPools Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen LedgerPools shrink :: LedgerPools -> [LedgerPools]
Show LedgerPools Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods showsPrec :: Int -> LedgerPools -> ShowS Source # show :: LedgerPools -> String Source # showList :: [LedgerPools] -> ShowS Source #

calculateRelativeStake :: [StakePool] -> [(PoolStake, NonEmpty RelayAccessPoint)] Source #

genLedgerPoolsFrom :: [RelayAccessPoint] -> Gen LedgerPools Source #

newtype ArbLedgerPeersKind Source #

Constructors

ArbLedgerPeersKind LedgerPeersKind

Instances

Instances details

Arbitrary ArbLedgerPeersKind Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods arbitrary :: Gen ArbLedgerPeersKind shrink :: ArbLedgerPeersKind -> [ArbLedgerPeersKind]
Show ArbLedgerPeersKind Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods showsPrec :: Int -> ArbLedgerPeersKind -> ShowS Source # show :: ArbLedgerPeersKind -> String Source # showList :: [ArbLedgerPeersKind] -> ShowS Source #

prop_pick100 Source #

Arguments

:: Word16
-> NonNegative Int	number of pools with 0 stake
-> ArbLedgerPeersKind
-> MockRoots
-> DelayAndTimeoutScripts
-> Property

A pool with 100% stake should always be picked.

prop_pick :: LedgerPools -> ArbLedgerPeersKind -> Word16 -> Word16 -> MockRoots -> Script DNSLookupDelay -> Property Source #

Verify that given at least one peer we manage to pick count peers.

prop_accBigPoolStake :: LedgerPools -> Property Source #

data SimResult a Source #

Constructors

SimReturn a [String]
SimException SomeException [String]
SimDeadLock [String]

evaluateTrace :: SimTrace a -> IO (SimResult a) Source #

data WithThreadAndTime a Source #

Constructors

WithThreadAndTime
Fields wtatOccuredAt :: !Time wtatWithinThread :: !String wtatEvent :: !a

Instances

Instances details

Show a => Show (WithThreadAndTime a) Source #
Instance details Defined in Test.Ouroboros.Network.LedgerPeers Methods showsPrec :: Int -> WithThreadAndTime a -> ShowS Source # show :: WithThreadAndTime a -> String Source # showList :: [WithThreadAndTime a] -> ShowS Source #

verboseTracer :: forall a m. (MonadAsync m, MonadSay m, MonadMonotonicTime m, Show a) => Tracer m a Source #

threadAndTimeTracer :: forall a m. (MonadAsync m, MonadMonotonicTime m) => Tracer m (WithThreadAndTime a) -> Tracer m a Source #