我有一个属性,其中包含一个字符串列表:
myProp :: [String] -> Bool
我需要约束QuickCheck生成的输入,以便列表中只有非空字符串.
我怎样才能做到这一点？
haskell quickcheck
haskell ×1
quickcheck ×1