| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Byron.Spec.Ledger.Update.Test
Synopsis
- coverUpiregFailures ∷ ∀ m a. (MonadTest m, HasCallStack, Data a) ⇒ CoverPercentage → a → m ()
- coverUpivoteFailures ∷ ∀ m a. (MonadTest m, HasCallStack, Data a) ⇒ CoverPercentage → a → m ()
Documentation
Arguments
| ∷ ∀ m a. (MonadTest m, HasCallStack, Data a) | |
| ⇒ CoverPercentage | Minimum percentage that each failure must occur. |
| → a | Structure containing the failures |
| → m () |
Check that all the relevant predicate failures are covered.
coverUpivoteFailures ∷ ∀ m a. (MonadTest m, HasCallStack, Data a) ⇒ CoverPercentage → a → m () Source #
See coverUpiregFailures.