search

hedgehogqa / fsharp-hedgehog

Release with confidence, state-of-the-art property testing for .NET.
https://hedgehogqa.github.io/fsharp-hedgehog/
Other
271 stars 31 forks source link

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

Open moodmosaic opened 7 years ago

moodmosaic commented 7 years ago

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 commented 7 years ago

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.

jacobstanley commented 7 years ago

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

mausch commented 6 years ago

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

moodmosaic commented 6 years ago

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

moodmosaic commented 6 years ago

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