Skip to content

Latest commit

 

History

History
97 lines (79 loc) · 2.59 KB

README.md

File metadata and controls

97 lines (79 loc) · 2.59 KB

Build Status Maven metadata URL

Vavr support for jqwik

Adds jqwik arbitraries for Vavr data structures:

  • io.vavr.collection.Iterator

  • io.vavr.collection.Stream

  • io.vavr.collection.Seq

  • io.vavr.collection.LinearSeq

  • io.vavr.collection.List

  • io.vavr.collection.Queue

  • io.vavr.collection.PriorityQueue

  • io.vavr.collection.IndexedSeq

  • io.vavr.collection.Array

  • io.vavr.collection.Vector

  • io.vavr.collection.CharSeq

  • io.vavr.collection.Set

  • io.vavr.collection.HashSet

  • io.vavr.collection.LinkedHashSet

  • io.vavr.collection.SortedSet

  • io.vavr.collection.TreeSet

  • io.vavr.collection.BitSet (in the future)

  • io.vavr.collection.Tree

  • io.vavr.collection.Map

  • io.vavr.collection.HashMap

  • io.vavr.collection.LinkedHashMap

  • io.vavr.collection.SortedMap

  • io.vavr.collection.TreeMap

  • io.vavr.collection.Multimap

  • io.vavr.collection.HashMultimap

  • io.vavr.collection.LinkedHashMultimap

  • io.vavr.collection.SortedMultimap

  • io.vavr.collection.TreeMultimap

  • io.vavr.Lazy

  • io.vavr.control.Option

  • io.vavr.control.Either

  • io.vavr.control.Try

  • io.vavr.control.Validation

  • io.vavr.concurrent.Future

Examples

@Property
void generateDistinctLists(@ForAll final io.vavr.collection.List<@Unique Integer> list) {
    assertThat(list.distinct().size(), is(list.size()));
}
@Provide
Arbitrary<io.vavr.collection.List<Integer>> integersMin3() {
    return VavrArbitraries.list(Arbitraries.integers()).ofMinSize(3);
}

@Property
void generateSizableListFrom(@ForAll @From("integersMin3") final io.vavr.collection.List<Integer> list) {
    assertThat(list.size(), is(greaterThanOrEqualTo(3)));
}

Version compatibility

jqwik-vavr jqwik vavr
1.0.0 1.3.6 0.10.3
2.0.0 1.6.5 0.10.4
3.0.0 1.7.3 0.10.4

Installation with Maven (Version >= 2.0.0)

<dependency>
  <groupId>net.jqwik</groupId>
  <artifactId>jqwik-vavr</artifactId>
  <version>LATEST</version>
</dependency>

Installation with Gradle

repositories {
    mavenCentral()
}

dependencies {
  ...  
  testImplementation("net.jqwik:jqwik-vavr:3.0.0")
}