Documentation

testableAsAssertion :: (Testable t, WithQCArgs t) => t -> AssertionSource

module Test.QuickCheck

data TestableWithQCArgs Source

class WithQCArgs a Source

withQCArgs :: (WithQCArgs a, Testable a) => (Args -> Args) -> a -> TestableWithQCArgsSource

asTestableWithQCArgs :: (WithQCArgs a, Testable a) => a -> TestableWithQCArgsSource