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