Yeah, I'm asking why?

Because that's what people voted.

Why more Clever than Best Practices?

Approved. Sorry it took so long...

Looks reasonable.

Printing headers in random tests is quite impossible in QuickCheck, but when a test fails, input, actual and expected are printed ( and testing is stopped ).

I'll let you approve it yourself.

Okay~ after some slight changes on test cases, I've ensure that they are identical to the java ones

Thanks for your tips~

Best Regards.

OK - how about just add the missing test cases then, and forget the output if you say it is not possible.

Maybe you will find the JavaScript translation helpful for the missing tests.

And please change that ExampleSpec name to something sensible. It looks like cut/paste from an example...

Sadly, I'd been unable to satisfy all your requests above

I'm not sure that QuickCheck library in haskell allow such a variety.

And (maybe ?) its unrealistic to try to "output" something within a Monad in haskell (esp. when it comes to a forAll check)

But I tried my best to cope with the original Java Kata.

Wish you could help me improve this translation together :) .

Thank you for translating my Kata.

Please add the following and I will approve it:

• There should be output for the random tests (refer to original Java Kata)
• There are couple of missing test cases (e.g. below)

• assertEquals(1, Dinglemouse.riders(new int[]{50,50}));
• assertEquals(100, Dinglemouse.riders(java.util.stream.IntStream.range(0,100).map( x->90 ).toArray()));

TIA.

Haskell Translation submitted, review welcomed

Haskell translation added :) ,review welcomed