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
.