scalacheck:生成一个非空字符串

Question

在这样的上下文中，生成非空字符串的最佳方法是什么

  private def createIndexFn() = {
      for{
        someChar <-  Gen.alphaString
        aNumber <- Gen.choose(1,100)
        //...
       }       
       yield { 
           MyThing(AnotherType(someChar.toString), SomeOtherType(aNumber), aNumber)
   }
 }

您可能需要 someChar 成为非空字符串。我知道你可以使用 whenever在 forAll部分，但我想知道如何在生成器的这一部分中做到这一点。

谢谢

Answer 1

接受的答案导致我放弃测试的比例很高，我最终使用了:

import org.scalacheck._

Arbitrary(Gen.nonEmptyListOf[Char](Arbitrary.arbChar.arbitrary)).map(_.mkString))