Adding a quickcheck interoperability layer

[Centril]

I've created an interoperability layer between proptest and quickcheck, should I add this to proptest as a PR under a feature flag quickcheck or do you believe this belongs in a separate crate?

The benefit of the latter is that proptest is not then constrained in dependencies by quickcheck while the benefit of the former is that the user doesn't have to write in another dependency to their project.

What it amounts to is essentially (details omitted):

use quickcheck::Arbitrary;

pub fn from_qc<A: Arbitrary + Debug>() -> QCStrategy<A> {
    QCStrategy::new(qc_gen_size())
}

pub fn from_qc_sized<A: Arbitrary + Debug>(size: usize) -> QCStrategy<A> {
    QCStrategy::new(size)
}

[AltSysrq]

I would prefer a separate crate. Besides the benefits you mentioned, it also makes it clearer (e.g., for someone looking at it on crates.io) that it's an add-on should one find the use for it rather than a significant-but-optional core feature.

[Centril]

A new crate coming your way in a bit =)

[Centril]

(Perhaps we should organize stuff into a GitHub organization soon to have repositories in the same place-ish?)

[Centril]

The promised crate: https://github.com/Centril/proptest-quickcheck-interop .
Add a note about this to docs perhaps?

[AltSysrq]

The crate looks reasonable to me. Only one comment:

https://github.com/Centril/proptest-quickcheck-interop/blob/master/src/lib.rs#L332

Could that impl be moved under mod test or otherwise made #[cfg(test)]? Then it wouldn't escape into the public API.

Add a note about this to docs perhaps?

Certainly.

[Centril]

Oh! Why didn't I think of that... ;)

Fixed in 1.04.

[AltSysrq]

The docs now link to this crate in the paragraph after the introduction.