ouroboros-network-testing-0.1.0.1: Common modules used for testing in ouroboros-network and ouroboros-consensus
Safe Haskell None
Language Haskell2010

Ouroboros.Network.Testing.Data.Script

Synopsis

Test scripts

newtype Script a Source #

Constructors

Script ( NonEmpty a)

Instances

Instances details
Functor Script Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

fmap :: (a -> b) -> Script a -> Script b Source #

(<$) :: a -> Script b -> Script a Source #

Foldable Script Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

fold :: Monoid m => Script m -> m Source #

foldMap :: Monoid m => (a -> m) -> Script a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Script a -> m Source #

foldr :: (a -> b -> b) -> b -> Script a -> b Source #

foldr' :: (a -> b -> b) -> b -> Script a -> b Source #

foldl :: (b -> a -> b) -> b -> Script a -> b Source #

foldl' :: (b -> a -> b) -> b -> Script a -> b Source #

foldr1 :: (a -> a -> a) -> Script a -> a Source #

foldl1 :: (a -> a -> a) -> Script a -> a Source #

toList :: Script a -> [a] Source #

null :: Script a -> Bool Source #

length :: Script a -> Int Source #

elem :: Eq a => a -> Script a -> Bool Source #

maximum :: Ord a => Script a -> a Source #

minimum :: Ord a => Script a -> a Source #

sum :: Num a => Script a -> a Source #

product :: Num a => Script a -> a Source #

Traversable Script Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

traverse :: Applicative f => (a -> f b) -> Script a -> f ( Script b) Source #

sequenceA :: Applicative f => Script (f a) -> f ( Script a) Source #

mapM :: Monad m => (a -> m b) -> Script a -> m ( Script b) Source #

sequence :: Monad m => Script (m a) -> m ( Script a) Source #

Eq a => Eq ( Script a) Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

(==) :: Script a -> Script a -> Bool Source #

(/=) :: Script a -> Script a -> Bool Source #

Show a => Show ( Script a) Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

showsPrec :: Int -> Script a -> ShowS Source #

show :: Script a -> String Source #

showList :: [ Script a] -> ShowS Source #

Arbitrary a => Arbitrary ( Script a) Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

arbitrary :: Gen ( Script a) Source #

shrink :: Script a -> [ Script a] Source #

data NonEmpty a Source #

Non-empty (and non-strict) list type.

Since: base-4.9.0.0

Constructors

a :| [a] infixr 5

Instances

Instances details
Monad NonEmpty

Since: base-4.9.0.0

Instance details

Defined in GHC.Base

Methods

(>>=) :: NonEmpty a -> (a -> NonEmpty b) -> NonEmpty b Source #

(>>) :: NonEmpty a -> NonEmpty b -> NonEmpty b Source #

return :: a -> NonEmpty a Source #

Functor NonEmpty

Since: base-4.9.0.0

Instance details

Defined in GHC.Base

Methods

fmap :: (a -> b) -> NonEmpty a -> NonEmpty b Source #

(<$) :: a -> NonEmpty b -> NonEmpty a Source #

Applicative NonEmpty

Since: base-4.9.0.0

Instance details

Defined in GHC.Base

Methods

pure :: a -> NonEmpty a Source #

(<*>) :: NonEmpty (a -> b) -> NonEmpty a -> NonEmpty b Source #

liftA2 :: (a -> b -> c) -> NonEmpty a -> NonEmpty b -> NonEmpty c Source #

(*>) :: NonEmpty a -> NonEmpty b -> NonEmpty b Source #

(<*) :: NonEmpty a -> NonEmpty b -> NonEmpty a Source #

Foldable NonEmpty

Since: base-4.9.0.0

Instance details

Defined in Data.Foldable

Methods

fold :: Monoid m => NonEmpty m -> m Source #

foldMap :: Monoid m => (a -> m) -> NonEmpty a -> m Source #

foldMap' :: Monoid m => (a -> m) -> NonEmpty a -> m Source #

foldr :: (a -> b -> b) -> b -> NonEmpty a -> b Source #

foldr' :: (a -> b -> b) -> b -> NonEmpty a -> b Source #

foldl :: (b -> a -> b) -> b -> NonEmpty a -> b Source #

foldl' :: (b -> a -> b) -> b -> NonEmpty a -> b Source #

foldr1 :: (a -> a -> a) -> NonEmpty a -> a Source #

foldl1 :: (a -> a -> a) -> NonEmpty a -> a Source #

toList :: NonEmpty a -> [a] Source #

null :: NonEmpty a -> Bool Source #

length :: NonEmpty a -> Int Source #

elem :: Eq a => a -> NonEmpty a -> Bool Source #

maximum :: Ord a => NonEmpty a -> a Source #

minimum :: Ord a => NonEmpty a -> a Source #

sum :: Num a => NonEmpty a -> a Source #

product :: Num a => NonEmpty a -> a Source #

Traversable NonEmpty

Since: base-4.9.0.0

Instance details

Defined in Data.Traversable

Methods

traverse :: Applicative f => (a -> f b) -> NonEmpty a -> f ( NonEmpty b) Source #

sequenceA :: Applicative f => NonEmpty (f a) -> f ( NonEmpty a) Source #

mapM :: Monad m => (a -> m b) -> NonEmpty a -> m ( NonEmpty b) Source #

sequence :: Monad m => NonEmpty (m a) -> m ( NonEmpty a) Source #

Eq1 NonEmpty

Since: base-4.10.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool ) -> NonEmpty a -> NonEmpty b -> Bool Source #

Ord1 NonEmpty

Since: base-4.10.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftCompare :: (a -> b -> Ordering ) -> NonEmpty a -> NonEmpty b -> Ordering Source #

Read1 NonEmpty

Since: base-4.10.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftReadsPrec :: ( Int -> ReadS a) -> ReadS [a] -> Int -> ReadS ( NonEmpty a) Source #

liftReadList :: ( Int -> ReadS a) -> ReadS [a] -> ReadS [ NonEmpty a] Source #

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec ( NonEmpty a) Source #

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [ NonEmpty a] Source #

Show1 NonEmpty

Since: base-4.10.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec :: ( Int -> a -> ShowS ) -> ([a] -> ShowS ) -> Int -> NonEmpty a -> ShowS Source #

liftShowList :: ( Int -> a -> ShowS ) -> ([a] -> ShowS ) -> [ NonEmpty a] -> ShowS Source #

Hashable1 NonEmpty

Since: hashable-1.3.1.0

Instance details

Defined in Data.Hashable.Class

Methods

liftHashWithSalt :: ( Int -> a -> Int ) -> Int -> NonEmpty a -> Int Source #

Lift a => Lift ( NonEmpty a :: Type )

Since: template-haskell-2.15.0.0

Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: NonEmpty a -> Q Exp Source #

liftTyped :: NonEmpty a -> Q ( TExp ( NonEmpty a)) Source #

IsList ( NonEmpty a)

Since: base-4.9.0.0

Instance details

Defined in GHC.Exts

Associated Types

type Item ( NonEmpty a) Source #

Methods

fromList :: [ Item ( NonEmpty a)] -> NonEmpty a Source #

fromListN :: Int -> [ Item ( NonEmpty a)] -> NonEmpty a Source #

toList :: NonEmpty a -> [ Item ( NonEmpty a)] Source #

Eq a => Eq ( NonEmpty a)

Since: base-4.9.0.0

Instance details

Defined in GHC.Base

Methods

(==) :: NonEmpty a -> NonEmpty a -> Bool Source #

(/=) :: NonEmpty a -> NonEmpty a -> Bool Source #

Ord a => Ord ( NonEmpty a)

Since: base-4.9.0.0

Instance details

Defined in GHC.Base

Methods

compare :: NonEmpty a -> NonEmpty a -> Ordering Source #

(<) :: NonEmpty a -> NonEmpty a -> Bool Source #

(<=) :: NonEmpty a -> NonEmpty a -> Bool Source #

(>) :: NonEmpty a -> NonEmpty a -> Bool Source #

(>=) :: NonEmpty a -> NonEmpty a -> Bool Source #

max :: NonEmpty a -> NonEmpty a -> NonEmpty a Source #

min :: NonEmpty a -> NonEmpty a -> NonEmpty a Source #

Read a => Read ( NonEmpty a)

Since: base-4.11.0.0

Instance details

Defined in GHC.Read

Methods

readsPrec :: Int -> ReadS ( NonEmpty a) Source #

readList :: ReadS [ NonEmpty a] Source #

readPrec :: ReadPrec ( NonEmpty a) Source #

readListPrec :: ReadPrec [ NonEmpty a] Source #

Show a => Show ( NonEmpty a)

Since: base-4.11.0.0

Instance details

Defined in GHC.Show

Methods

showsPrec :: Int -> NonEmpty a -> ShowS Source #

show :: NonEmpty a -> String Source #

showList :: [ NonEmpty a] -> ShowS Source #

Generic ( NonEmpty a)

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

Associated Types

type Rep ( NonEmpty a) :: Type -> Type Source #

Methods

from :: NonEmpty a -> Rep ( NonEmpty a) x Source #

to :: Rep ( NonEmpty a) x -> NonEmpty a Source #

Semigroup ( NonEmpty a)

Since: base-4.9.0.0

Instance details

Defined in GHC.Base

Methods

(<>) :: NonEmpty a -> NonEmpty a -> NonEmpty a Source #

sconcat :: NonEmpty ( NonEmpty a) -> NonEmpty a Source #

stimes :: Integral b => b -> NonEmpty a -> NonEmpty a Source #

Hashable a => Hashable ( NonEmpty a)
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> NonEmpty a -> Int Source #

hash :: NonEmpty a -> Int Source #

Serialise a => Serialise ( NonEmpty a)

Since: serialise-0.2.0.0

Instance details

Defined in Codec.Serialise.Class

Methods

encode :: NonEmpty a -> Encoding Source #

decode :: Decoder s ( NonEmpty a) Source #

encodeList :: [ NonEmpty a] -> Encoding Source #

decodeList :: Decoder s [ NonEmpty a] Source #

Generic1 NonEmpty

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

Associated Types

type Rep1 NonEmpty :: k -> Type Source #

Methods

from1 :: forall (a :: k). NonEmpty a -> Rep1 NonEmpty a Source #

to1 :: forall (a :: k). Rep1 NonEmpty a -> NonEmpty a Source #

type Rep ( NonEmpty a)
Instance details

Defined in GHC.Generics

type Rep ( NonEmpty a) = D1 (' MetaData "NonEmpty" "GHC.Base" "base" ' False ) ( C1 (' MetaCons ":|" (' InfixI ' LeftAssociative 9) ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 a) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 [a])))
type Item ( NonEmpty a)
Instance details

Defined in GHC.Exts

type Item ( NonEmpty a) = a
type Rep1 NonEmpty
Instance details

Defined in GHC.Generics

type Rep1 NonEmpty = D1 (' MetaData "NonEmpty" "GHC.Base" "base" ' False ) ( C1 (' MetaCons ":|" (' InfixI ' LeftAssociative 9) ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) Par1 :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec1 [])))

scriptHead :: Script a -> a Source #

singletonScript :: a -> Script a Source #

initScript :: MonadSTM m => Script a -> STM m ( TVar m ( Script a)) Source #

stepScript :: MonadSTM m => TVar m ( Script a) -> m a Source #

stepScriptSTM :: MonadSTM m => TVar m ( Script a) -> STM m a Source #

initScript' :: MonadSTM m => Script a -> m ( TVar m ( Script a)) Source #

stepScript' :: MonadSTM m => TVar m ( Script a) -> m a Source #

stepScriptSTM' :: MonadSTM m => TVar m ( Script a) -> STM m a Source #

arbitraryScriptOf :: Int -> Gen a -> Gen ( Script a) Source #

prop_shrink_Script :: Fixed ( Script Int ) -> Property Source #

Timed scripts

data ScriptDelay Source #

Constructors

NoDelay
ShortDelay
LongDelay

Instances

Instances details
Eq ScriptDelay Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

(==) :: ScriptDelay -> ScriptDelay -> Bool Source #

(/=) :: ScriptDelay -> ScriptDelay -> Bool Source #

Show ScriptDelay Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

showsPrec :: Int -> ScriptDelay -> ShowS Source #

show :: ScriptDelay -> String Source #

showList :: [ ScriptDelay ] -> ShowS Source #

Arbitrary ScriptDelay Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

arbitrary :: Gen ScriptDelay Source #

shrink :: ScriptDelay -> [ ScriptDelay ] Source #

type TimedScript a = Script (a, ScriptDelay ) Source #

playTimedScript :: ( MonadAsync m, MonadTimer m) => Tracer m a -> TimedScript a -> m ( TVar m a) Source #

Pick scripts

type PickScript peeraddr = Script ( PickMembers peeraddr) Source #

A pick script is used to interpret the policyPickKnownPeersForGossip and the policyPickColdPeersToForget . It selects elements from the given choices by their index (modulo the number of choices). This representation was chosen because it allows easy shrinking.

data PickMembers peeraddr Source #

Constructors

PickFirst
PickAll
PickSome ( Set peeraddr)

Instances

Instances details
Eq peeraddr => Eq ( PickMembers peeraddr) Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

(==) :: PickMembers peeraddr -> PickMembers peeraddr -> Bool Source #

(/=) :: PickMembers peeraddr -> PickMembers peeraddr -> Bool Source #

Show peeraddr => Show ( PickMembers peeraddr) Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

showsPrec :: Int -> PickMembers peeraddr -> ShowS Source #

show :: PickMembers peeraddr -> String Source #

showList :: [ PickMembers peeraddr] -> ShowS Source #

( Arbitrary peeraddr, Ord peeraddr) => Arbitrary ( PickMembers peeraddr) Source #
Instance details

Defined in Ouroboros.Network.Testing.Data.Script

Methods

arbitrary :: Gen ( PickMembers peeraddr) Source #

shrink :: PickMembers peeraddr -> [ PickMembers peeraddr] Source #

arbitraryPickScript :: Gen ( Set peeraddr) -> Gen ( PickScript peeraddr) Source #

interpretPickScript :: ( MonadSTM m, Ord peeraddr) => TVar m ( PickScript peeraddr) -> Set peeraddr -> Int -> STM m ( Set peeraddr) Source #