proptest

proptest copied to clipboard

Bumps [path-parse](https://github.com/jbgutierrez/path-parse) from 1.0.5 to 1.0.7. Commits See full diff in compare view [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter...

dependabot[bot]

Bumps [diff](https://github.com/kpdecker/jsdiff) from 3.4.0 to 3.5.0. Changelog *Sourced from [diff's changelog](https://github.com/kpdecker/jsdiff/blob/master/release-notes.md).* > ## v3.5.0 - March 4th, 2018 > - Omit redundant slice in join method of diffArrays - 1023590...

dependabot[bot]

Basic async support

1

This seems to work for me now. :)

ollef

Overload replicate with more precise types

3

This PR makes the types for `replicate` more precise. If `replicate` is given a number smaller than 10 the return type is an array where TypeScript knows the length. Is...

paldepind

Promise tests

7

Hej! Splendid work on the library! I'm having a great time so far. :) It addresses some issues I had with Jsverify, and additionally has a nice and simple interface....

ollef

Rename forall to assertForall?

2

To make it more obvious that it will throw an error if it doesn't hold for "all" values? ```typescript // compare QC.assertForall(QC.nat.replicate(2), ([x,y]) => x+10 > y) // with QC.forall(QC.nat.replicate(2),...

danr