Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Network.Testing.Data.Script

Contents

Test scripts
Timed scripts
Pick scripts

Synopsis

newtype Script a = Script (NonEmpty a)
data NonEmpty a = a :| [a]
scriptHead ∷ Script a → a
singletonScript ∷ a → Script a
initScript ∷ MonadSTM m ⇒ Script a → m (TVar m (Script a))
stepScript ∷ MonadSTM m ⇒ TVar m (Script a) → m a
stepScriptSTM ∷ MonadSTM m ⇒ TVar m (Script a) → STM m a
stepScriptOrFinish ∷ MonadSTM m ⇒ TVar m (Script a) → m (Either a a)
stepScriptOrFinishSTM ∷ MonadSTM m ⇒ TVar m (Script a) → STM m (Either a a)
initScript' ∷ MonadSTM m ⇒ Script a → m (StrictTVar m (Script a))
stepScript' ∷ MonadSTM m ⇒ StrictTVar m (Script a) → m a
stepScriptSTM' ∷ MonadSTM m ⇒ StrictTVar m (Script a) → STM m a
shrinkScriptWith ∷ (a → [a]) → Script a → [Script a]
arbitraryScriptOf ∷ Int → Gen a → Gen (Script a)
prop_shrink_Script ∷ ShrinkCarefully (Script Int) → Property
data ScriptDelay
- = NoDelay
- | ShortDelay
- | LongDelay
- | Delay DiffTime
type TimedScript a = Script (a, ScriptDelay)
singletonTimedScript ∷ a → TimedScript a
playTimedScript ∷ (MonadAsync m, MonadDelay m) ⇒ Tracer m a → TimedScript a → m (TVar m a)
type PickScript peeraddr = Script (PickMembers peeraddr)
data PickMembers peeraddr
- = PickFirst
- | PickAll
- | PickSome (Set peeraddr)
arbitraryPickScript ∷ Gen (Set peeraddr) → Gen (PickScript peeraddr)
interpretPickScript ∷ (MonadSTM m, Ord peeraddr) ⇒ StrictTVar m (PickScript peeraddr) → Set peeraddr → Int → STM m (Set peeraddr)

Test scripts

newtype Script a Source #

Constructors

Script (NonEmpty a)

Instances

Instances details

Foldable Script Source #
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods fold ∷ Monoid m ⇒ Script m → m # foldMap ∷ Monoid m ⇒ (a → m) → Script a → m # foldMap' ∷ Monoid m ⇒ (a → m) → Script a → m # foldr ∷ (a → b → b) → b → Script a → b # foldr' ∷ (a → b → b) → b → Script a → b # foldl ∷ (b → a → b) → b → Script a → b # foldl' ∷ (b → a → b) → b → Script a → b # foldr1 ∷ (a → a → a) → Script a → a # foldl1 ∷ (a → a → a) → Script a → a # toList ∷ Script a → [a] # null ∷ Script a → Bool # length ∷ Script a → Int # elem ∷ Eq a ⇒ a → Script a → Bool # maximum ∷ Ord a ⇒ Script a → a # minimum ∷ Ord a ⇒ Script a → a # sum ∷ Num a ⇒ Script a → a # product ∷ Num a ⇒ Script a → a #
Traversable Script Source #
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods traverse ∷ Applicative f ⇒ (a → f b) → Script a → f (Script b) # sequenceA ∷ Applicative f ⇒ Script (f a) → f (Script a) # mapM ∷ Monad m ⇒ (a → m b) → Script a → m (Script b) # sequence ∷ Monad m ⇒ Script (m a) → m (Script a) #
Functor Script Source #
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods fmap ∷ (a → b) → Script a → Script b # (<$) ∷ a → Script b → Script a #
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 #
Show a ⇒ Show (Script a) Source #
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods showsPrec ∷ Int → Script a → ShowS # show ∷ Script a → String # showList ∷ [Script a] → ShowS #
Eq a ⇒ Eq (Script a) Source #
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods (==) ∷ Script a → Script a → Bool # (/=) ∷ Script a → Script a → Bool #

data NonEmpty a #

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

Since: base-4.9.0.0

Constructors

a :| [a] infixr 5

Instances

Instances details

Foldable NonEmpty	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold ∷ Monoid m ⇒ NonEmpty m → m # foldMap ∷ Monoid m ⇒ (a → m) → NonEmpty a → m # foldMap' ∷ Monoid m ⇒ (a → m) → NonEmpty a → m # foldr ∷ (a → b → b) → b → NonEmpty a → b # foldr' ∷ (a → b → b) → b → NonEmpty a → b # foldl ∷ (b → a → b) → b → NonEmpty a → b # foldl' ∷ (b → a → b) → b → NonEmpty a → b # foldr1 ∷ (a → a → a) → NonEmpty a → a # foldl1 ∷ (a → a → a) → NonEmpty a → a # toList ∷ NonEmpty a → [a] # null ∷ NonEmpty a → Bool # length ∷ NonEmpty a → Int # elem ∷ Eq a ⇒ a → NonEmpty a → Bool # maximum ∷ Ord a ⇒ NonEmpty a → a # minimum ∷ Ord a ⇒ NonEmpty a → a # sum ∷ Num a ⇒ NonEmpty a → a # product ∷ Num a ⇒ NonEmpty a → a #
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) # sequenceA ∷ Applicative f ⇒ NonEmpty (f a) → f (NonEmpty a) # mapM ∷ Monad m ⇒ (a → m b) → NonEmpty a → m (NonEmpty b) # sequence ∷ Monad m ⇒ NonEmpty (m a) → m (NonEmpty a) #
Applicative NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods pure ∷ a → NonEmpty a # (<>) ∷ NonEmpty (a → b) → NonEmpty a → NonEmpty b # liftA2 ∷ (a → b → c) → NonEmpty a → NonEmpty b → NonEmpty c # (>) ∷ NonEmpty a → NonEmpty b → NonEmpty b # (<*) ∷ NonEmpty a → NonEmpty b → NonEmpty a #
Functor NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods fmap ∷ (a → b) → NonEmpty a → NonEmpty b # (<$) ∷ a → NonEmpty b → NonEmpty a #
Monad NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (>>=) ∷ NonEmpty a → (a → NonEmpty b) → NonEmpty b # (>>) ∷ NonEmpty a → NonEmpty b → NonEmpty b # return ∷ a → NonEmpty a #
NFData1 NonEmpty	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods liftRnf ∷ (a → ()) → NonEmpty a → () #
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 #
Generic1 NonEmpty
Instance details Defined in GHC.Generics Associated Types type Rep1 NonEmpty ∷ k → Type # Methods from1 ∷ ∀ (a ∷ k). NonEmpty a → Rep1 NonEmpty a # to1 ∷ ∀ (a ∷ k). Rep1 NonEmpty a → NonEmpty a #
Lift a ⇒ Lift (NonEmpty a ∷ Type)	Since: template-haskell-2.15.0.0
Instance details Defined in Language.Haskell.TH.Syntax Methods lift ∷ Quote m ⇒ NonEmpty a → m Exp # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ NonEmpty a → Code m (NonEmpty a) #
Semigroup (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (<>) ∷ NonEmpty a → NonEmpty a → NonEmpty a # sconcat ∷ NonEmpty (NonEmpty a) → NonEmpty a # stimes ∷ Integral b ⇒ b → NonEmpty a → NonEmpty a #
Generic (NonEmpty a)
Instance details Defined in GHC.Generics Associated Types type Rep (NonEmpty a) ∷ Type → Type # Methods from ∷ NonEmpty a → Rep (NonEmpty a) x # to ∷ Rep (NonEmpty a) x → NonEmpty a #
IsList (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.IsList Associated Types type Item (NonEmpty a) # Methods fromList ∷ [Item (NonEmpty a)] → NonEmpty a # fromListN ∷ Int → [Item (NonEmpty a)] → NonEmpty a # toList ∷ NonEmpty a → [Item (NonEmpty a)] #
Read a ⇒ Read (NonEmpty a)	Since: base-4.11.0.0
Instance details Defined in GHC.Read Methods readsPrec ∷ Int → ReadS (NonEmpty a) # readList ∷ ReadS [NonEmpty a] # readPrec ∷ ReadPrec (NonEmpty a) # readListPrec ∷ ReadPrec [NonEmpty a] #
Show a ⇒ Show (NonEmpty a)	Since: base-4.11.0.0
Instance details Defined in GHC.Show Methods showsPrec ∷ Int → NonEmpty a → ShowS # show ∷ NonEmpty a → String # showList ∷ [NonEmpty a] → ShowS #
NFData a ⇒ NFData (NonEmpty a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf ∷ NonEmpty a → () #
Eq a ⇒ Eq (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (==) ∷ NonEmpty a → NonEmpty a → Bool # (/=) ∷ NonEmpty a → NonEmpty a → Bool #
Ord a ⇒ Ord (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods compare ∷ NonEmpty a → NonEmpty a → Ordering # (<) ∷ NonEmpty a → NonEmpty a → Bool # (<=) ∷ NonEmpty a → NonEmpty a → Bool # (>) ∷ NonEmpty a → NonEmpty a → Bool # (>=) ∷ NonEmpty a → NonEmpty a → Bool # max ∷ NonEmpty a → NonEmpty a → NonEmpty a # min ∷ NonEmpty a → NonEmpty a → NonEmpty a #
Hashable a ⇒ Hashable (NonEmpty a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → NonEmpty a → Int Source # hash ∷ NonEmpty a → Int Source #
Pretty a ⇒ Pretty (NonEmpty a)
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ NonEmpty a → Doc ann Source # prettyList ∷ [NonEmpty a] → Doc ann 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 #
type Rep1 NonEmpty	Since: base-4.6.0.0
Instance details Defined in GHC.Generics type Rep1 NonEmpty = D1 ('MetaData "NonEmpty" "GHC.Base" "base" 'False) (C1 ('MetaCons ":\|" ('InfixI 'RightAssociative 5) 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 List)))
type Rep (NonEmpty a)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics type Rep (NonEmpty a) = D1 ('MetaData "NonEmpty" "GHC.Base" "base" 'False) (C1 ('MetaCons ":\|" ('InfixI 'RightAssociative 5) '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.IsList type Item (NonEmpty a) = a

scriptHead ∷ Script a → a Source #

singletonScript ∷ a → Script 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 #

stepScriptOrFinish ∷ MonadSTM m ⇒ TVar m (Script a) → m (Either a a) Source #

Return Left if it was the last step, return Right if the script can continue.

stepScriptOrFinishSTM ∷ MonadSTM m ⇒ TVar m (Script a) → STM m (Either a a) Source #

initScript' ∷ MonadSTM m ⇒ Script a → m (StrictTVar m (Script a)) Source #

stepScript' ∷ MonadSTM m ⇒ StrictTVar m (Script a) → m a Source #

stepScriptSTM' ∷ MonadSTM m ⇒ StrictTVar m (Script a) → STM m a Source #

shrinkScriptWith ∷ (a → [a]) → Script a → [Script a] Source #

arbitraryScriptOf ∷ Int → Gen a → Gen (Script a) Source #

prop_shrink_Script ∷ ShrinkCarefully (Script Int) → Property Source #

Timed scripts

data ScriptDelay Source #

Constructors

NoDelay
ShortDelay
LongDelay
Delay DiffTime

Instances

Instances details

Arbitrary ScriptDelay Source #
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods arbitrary ∷ Gen ScriptDelay Source # shrink ∷ ScriptDelay → [ScriptDelay] Source #
Show ScriptDelay Source #
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods showsPrec ∷ Int → ScriptDelay → ShowS # show ∷ ScriptDelay → String # showList ∷ [ScriptDelay] → ShowS #
Eq ScriptDelay Source #
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods (==) ∷ ScriptDelay → ScriptDelay → Bool # (/=) ∷ ScriptDelay → ScriptDelay → Bool #

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

singletonTimedScript ∷ a → TimedScript a Source #

Timed script which consists of a single element.

playTimedScript ∷ (MonadAsync m, MonadDelay 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 policyPickKnownPeersForPeerShare 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

(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 #
Show peeraddr ⇒ Show (PickMembers peeraddr) Source #
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods showsPrec ∷ Int → PickMembers peeraddr → ShowS # show ∷ PickMembers peeraddr → String # showList ∷ [PickMembers peeraddr] → ShowS #
Eq peeraddr ⇒ Eq (PickMembers peeraddr) Source #
Instance details Defined in Ouroboros.Network.Testing.Data.Script Methods (==) ∷ PickMembers peeraddr → PickMembers peeraddr → Bool # (/=) ∷ PickMembers peeraddr → PickMembers peeraddr → Bool #

arbitraryPickScript ∷ Gen (Set peeraddr) → Gen (PickScript peeraddr) Source #

interpretPickScript ∷ (MonadSTM m, Ord peeraddr) ⇒ StrictTVar m (PickScript peeraddr) → Set peeraddr → Int → STM m (Set peeraddr) Source #