| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Byron.Spec.Ledger.Update.Test
Synopsis
- coverUpiregFailures ∷ (MonadTest m, HasCallStack, Data a) ⇒ CoverPercentage → a → m ()
- coverUpivoteFailures ∷ (MonadTest m, HasCallStack, Data a) ⇒ CoverPercentage → a → m ()
Documentation
Arguments
| ∷ (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 ∷ (MonadTest m, HasCallStack, Data a) ⇒ CoverPercentage → a → m () Source #
See coverUpiregFailures.