Eliminate vavr.io from deps

Laifsyn · Apr 13, 2024 · d4b8b2e · d4b8b2e
1 parent 219ec7e
commit d4b8b2e
Show file tree

Hide file tree

Showing 74 changed files with 0 additions and 48,048 deletions.
diff --git a/pom.xml b/pom.xml
@@ -14,11 +14,6 @@
       <version>4.13.2</version>
       <scope>test</scope>
     </dependency>
-    <dependency>
-        <groupId>io.vavr</groupId>
-        <artifactId>vavr</artifactId>
-        <version>0.10.4</version>
-    </dependency>
   </dependencies>
   <properties>
     <jdk.version>21</jdk.version>

diff --git a/src/main/java/io/vavr/$.java b/src/main/java/io/vavr/$.java
diff --git a/src/main/java/io/vavr/CheckedConsumer.java b/src/main/java/io/vavr/CheckedConsumer.java
diff --git a/src/main/java/io/vavr/CheckedPredicate.java b/src/main/java/io/vavr/CheckedPredicate.java
diff --git a/src/main/java/io/vavr/CheckedRunnable.java b/src/main/java/io/vavr/CheckedRunnable.java