¿Cómo obtener Haskell QuickCheck 2.4 para aumentar # pruebas?

Question

Bien, como aprendí a través de mi previous question, el libro de RWH ya está desactualizado para QuickCheck. Y a pesar de todas las publicaciones que he leído que me dicen lo increíblemente simple que es utilizar QuickCheck, no puedo encontrar ningún lugar que me diga cómo cambiar el número de pruebas para ejecutar una propiedad.

captación de aguas pluviales dice:

handyCheck limit = check defaultConfig { 
        configMaxTest = limit 
        , configEvery = \_ _ -> "" 
        } 

Cómo hacer esto con QuickCheck 2.4? Más importante aún, ¿cómo me habría descubierto a mí mismo? Por favor, no me digas que debería haber sido capaz de resolverlo en la documentación de la API.

Answer 1

Usted ha buscado:

quickCheckWith stdArgs { maxSuccess = 5000 } someProp 

como descubrí

1. fui a la API documentation.
2. Lo segundo que vi, después de quickCheck fue el tipo Args con un campo maxSuccess.
3. No quería escribir todos los campos, así que busqué un valor de tipo Args - encontrando stdArgs. (Use la función de búsqueda de su navegador - ctrl-f generalmente). OTOH, podría haber usado hoogle.
4. Necesitaba usar mi tipo Args en alguna parte, así que seguí buscando. La siguiente línea fue quickCheckWith - ¡bingo! Por otro lado, podría haber usado hoogle.

¿Cómo puede usted averiguar

Como he dicho anteriormente, se podría haber utilizado Hoogle encontrar una gran cantidad de las funciones, asumiendo que se da cuenta del tipo Args es el núcleo de lo que necesita (de los abadejos).

De lo contrario, probablemente se vea obligado a ver qué hacen otros paquetes, lo que significa que necesita saber qué otros paquetes vale la pena mirar. La carpeta examples en QuickCheck parece obvia, pero no todos los paquetes incluyen tales ejemplos. Usando reverse dependencies a menudo puede encontrar un paquete para mirar, pero para QC, muchos paquetes no tienen dependencias explícitas.

Answer 2

Para aquellos que quieren ejecutar todas las pruebas a la vez y proporcionar su configuración:

return [] 
main = $forAllProperties (quickCheckWithResult stdArgs { maxSuccess = 500 })