net.jqwik.vavr.arbitraries.collection.set.VavrHashSetArbitrary Maven / Gradle / Ivy
package net.jqwik.vavr.arbitraries.collection.set;
import net.jqwik.vavr.arbitraries.base.SetBasedArbitrary;
import io.vavr.collection.HashSet;
import net.jqwik.api.Arbitrary;
public class VavrHashSetArbitrary extends SetBasedArbitrary> {
public VavrHashSetArbitrary(final Arbitrary elementArbitrary) {
super(elementArbitrary);
}
@Override
protected HashSet convertJavaSetToVavrCollection(final java.util.Set javaSet) {
return HashSet.ofAll(javaSet);
}
}