| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Testing.Utils
Synopsis
- newtype Delay = Delay {}
- genDelayWithPrecision ∷ Integer → Gen DiffTime
- newtype SmallDelay = SmallDelay {}
- isSubsetProperty ∷ (Ord a, Show a) ⇒ String → Set a → Set a → Property
- disjointSetsProperty ∷ (Ord a, Show a) ⇒ String → Set a → Set a → Property
- arbitrarySubset ∷ Ord a ⇒ Set a → Gen (Set a)
- shrinkVector ∷ (a → [a]) → [a] → [[a]]
- newtype ShrinkCarefully a = ShrinkCarefully a
- prop_shrink_nonequal ∷ (Arbitrary a, Eq a, Show a) ⇒ ShrinkCarefully a → Property
- prop_shrink_valid ∷ (Arbitrary a, Show a, Testable prop) ⇒ (a → prop) → ShrinkCarefully a → Property
- data WithName name event = WithName {}
- data WithTime event = WithTime {}
- tracerWithName ∷ name → Tracer m (WithName name a) → Tracer m a
- tracerWithTime ∷ MonadMonotonicTime m ⇒ Tracer m (WithTime a) → Tracer m a
- tracerWithTimeName ∷ MonadMonotonicTime m ⇒ name → Tracer m (WithTime (WithName name a)) → Tracer m a
- swapTimeWithName ∷ WithTime (WithName name b) → WithName name (WithTime b)
- swapNameWithTime ∷ WithName name (WithTime b) → WithTime (WithName name b)
- splitWithNameTrace ∷ Ord name ⇒ Trace r (WithName name b) → Trace r [WithName name b]
- debugTracer ∷ (Show a, Applicative m) ⇒ Tracer m a
- sayTracer ∷ (Show a, MonadSay m) ⇒ Tracer m a
- nightlyTest ∷ TestTree → TestTree
- ignoreTest ∷ TestTree → TestTree
- renderRanges ∷ Int → Int → String
Arbitrary Delays
newtype SmallDelay Source #
Constructors
| SmallDelay | |
Fields | |
Instances
| Arbitrary SmallDelay Source # | |
Defined in Ouroboros.Network.Testing.Utils | |
| Num SmallDelay Source # | |
Defined in Ouroboros.Network.Testing.Utils Methods (+) ∷ SmallDelay → SmallDelay → SmallDelay # (-) ∷ SmallDelay → SmallDelay → SmallDelay # (*) ∷ SmallDelay → SmallDelay → SmallDelay # negate ∷ SmallDelay → SmallDelay # abs ∷ SmallDelay → SmallDelay # signum ∷ SmallDelay → SmallDelay # | |
| Show SmallDelay Source # | |
Defined in Ouroboros.Network.Testing.Utils Methods showsPrec ∷ Int → SmallDelay → ShowS # show ∷ SmallDelay → String # showList ∷ [SmallDelay] → ShowS # | |
| Eq SmallDelay Source # | |
Defined in Ouroboros.Network.Testing.Utils | |
| Ord SmallDelay Source # | |
Defined in Ouroboros.Network.Testing.Utils Methods compare ∷ SmallDelay → SmallDelay → Ordering # (<) ∷ SmallDelay → SmallDelay → Bool # (<=) ∷ SmallDelay → SmallDelay → Bool # (>) ∷ SmallDelay → SmallDelay → Bool # (>=) ∷ SmallDelay → SmallDelay → Bool # max ∷ SmallDelay → SmallDelay → SmallDelay # min ∷ SmallDelay → SmallDelay → SmallDelay # | |
Set properties
QuickCheck Utils
arbitrarySubset ∷ Ord a ⇒ Set a → Gen (Set a) Source #
Pick a subset of a set, using a 50:50 chance for each set element.
shrinkVector ∷ (a → [a]) → [a] → [[a]] Source #
Like shrinkList but only shrink the elems, don't drop elements.
Useful when you want a custom strategy for dropping elements.
newtype ShrinkCarefully a Source #
Constructors
| ShrinkCarefully a |
Instances
| (Eq a, Arbitrary a) ⇒ Arbitrary (ShrinkCarefully a) Source # | |
Defined in Ouroboros.Network.Testing.Utils Methods arbitrary ∷ Gen (ShrinkCarefully a) Source # shrink ∷ ShrinkCarefully a → [ShrinkCarefully a] Source # | |
| Show a ⇒ Show (ShrinkCarefully a) Source # | |
Defined in Ouroboros.Network.Testing.Utils Methods showsPrec ∷ Int → ShrinkCarefully a → ShowS # show ∷ ShrinkCarefully a → String # showList ∷ [ShrinkCarefully a] → ShowS # | |
| Eq a ⇒ Eq (ShrinkCarefully a) Source # | |
Defined in Ouroboros.Network.Testing.Utils Methods (==) ∷ ShrinkCarefully a → ShrinkCarefully a → Bool # (/=) ∷ ShrinkCarefully a → ShrinkCarefully a → Bool # | |
prop_shrink_nonequal ∷ (Arbitrary a, Eq a, Show a) ⇒ ShrinkCarefully a → Property Source #
prop_shrink_valid ∷ (Arbitrary a, Show a, Testable prop) ⇒ (a → prop) → ShrinkCarefully a → Property Source #
Check that each shrink satisfies some invariant or validity condition.
Tracing Utils
tracerWithTime ∷ MonadMonotonicTime m ⇒ Tracer m (WithTime a) → Tracer m a Source #
tracerWithTimeName ∷ MonadMonotonicTime m ⇒ name → Tracer m (WithTime (WithName name a)) → Tracer m a Source #
splitWithNameTrace ∷ Ord name ⇒ Trace r (WithName name b) → Trace r [WithName name b] Source #
Split Trace events into separate traces indexed by a given name.
Tracers
debugTracer ∷ (Show a, Applicative m) ⇒ Tracer m a Source #
Tasty Utils
ignoreTest ∷ TestTree → TestTree Source #
Prevents the tests from running and reports them as succeeding.
This may be be desireable as an alternative to commenting out the tests. This way, they are still typechecked (preventing bitrot), and the test report lists them, which serves as a reminder that there are ignored tests.
Note that any setup/teardown actions executed by withResource
are still executed. You can bypass this manually as in the following example:
askOption $ \(MyFlag b) -> if b
then withResource mytest
else ignoreTest . mytest $ return junkvalue