From 5861badbc174c1ec8b13f186c541939b24a8d3ad Mon Sep 17 00:00:00 2001 From: sksamuel Date: Mon, 1 Feb 2021 21:53:24 -0600 Subject: [PATCH] Added domains to prop test list --- documentation/docs/proptest/genslist.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/documentation/docs/proptest/genslist.md b/documentation/docs/proptest/genslist.md index d6c58989ef5..5b172013fb6 100644 --- a/documentation/docs/proptest/genslist.md +++ b/documentation/docs/proptest/genslist.md @@ -43,8 +43,9 @@ Most generators are available on all platforms. Some are JVM specific. | -------- | ----------- | --- | --- | ------ | | `Arb.string(range)` | Generates random printable strings with a randomly chosen size from the given range. If rangei s not specified then (0..100) is used. The edgecases include empty string, a blank string and a unicode string. | ✓ | ✓ | ✓ | | `Exhaustive.azstring(range)` | Returns all A-Z strings in the given range. For example if range was 1..2 then a, b, c, ...., yz, zz would be included. | ✓ | ✓ | ✓ | -| `Arb.email(userRange, domainRange)` | Generates random emails where the username and domain are random strings with the size determined by the range parameters. | ✓ | ✓ | ✓ | +| `Arb.email(localPartGen, domainGen)` | Generates random emails where the local part and domain part are random strings generated by the given generators. A default value is provided for both. | ✓ | ✓ | ✓ | | `Arb.uuid(type)` | Generates random UUIDs of the given type | ✓ | | | +| `Arb.domain(tlds, labelArb)` | Generates random domains with a random tld (defaults to any of the top 120 TLDs) and a label generator, which generates domain parts. | ✓ | ✓ | ✓ | | Builders | Description | JVM | JS | Native | | -------- | ----------- | --- | --- | ------ |