fsharp-hedgehog icon indicating copy to clipboard operation
fsharp-hedgehog copied to clipboard

Drop-in replacement for FsCheck's Gen combinators in some cases

Open moodmosaic opened this issue 9 years ago • 5 comments

Perhaps, it makes sense to have something similar with disorder-jack/src/Test/QuickCheck/Jack.hs here, in dotnet-jack, that basically maps Jack Gen combinators to FsCheck ones.

moodmosaic avatar Nov 14 '16 07:11 moodmosaic

Even with a mapping between Hedgehog and FsCheck Gen combinators, the two libraries work in a different way, so I don't think it's worth spending time on this.

In Hedgehog, shrinking is baked into the Gen type, so you get it for free. I'm not entirely sure how easy it is to transform Hedgehog's Gen type into FsCheck's and vice-versa.

moodmosaic avatar Mar 22 '17 09:03 moodmosaic

I think it might be possible to turn an FsCheck Arbitrary in to a Hedgehog Gen, but not the other way around

jacobstanley avatar Mar 22 '17 22:03 jacobstanley

Relevant? https://hackage.haskell.org/package/hedgehog-quickcheck

mausch avatar Jul 16 '17 19:07 mausch

Yes, it's the one for the Haskell version of Hedgehog. It was actually released today 😃

moodmosaic avatar Jul 16 '17 20:07 moodmosaic

We probably need to close #89 first before doing something similar in the F# version.

moodmosaic avatar Jul 16 '17 20:07 moodmosaic