vavr spring data (#2242)

* vavr spring data

* formatting

* formatting

* formatting

* formatting

vavr/src/main/java/com/baeldung/Application.java

@@ -0,0 +1,11 @@
+package com.baeldung;
+
+import org.springframework.boot.SpringApplication;
+import org.springframework.boot.autoconfigure.SpringBootApplication;
+
+@SpringBootApplication
+public class Application {
+    public static void main(String[] args) {
+        SpringApplication.run(Application.class, args);
+    }
+}

vavr/src/main/java/com/baeldung/repositories/VavrUserRepository.java

@@ -0,0 +1,18 @@
+package com.baeldung.repositories;
+
+import org.springframework.data.repository.Repository;
+
+import com.baeldung.vavr.User;
+
+import io.vavr.collection.Seq;
+import io.vavr.control.Option;
+
+public interface VavrUserRepository extends Repository<User, Long> {
+
+    Option<User> findById(long id);
+
+    Seq<User> findByName(String name);
+
+    User save(User user);
+
+}

vavr/src/main/java/com/baeldung/vavr/User.java

@@ -0,0 +1,32 @@
+package com.baeldung.vavr;
+
+import javax.persistence.Entity;
+import javax.persistence.GeneratedValue;
+import javax.persistence.GenerationType;
+import javax.persistence.Id;
+
+@Entity
+public class User {
+
+    @Id
+    @GeneratedValue(strategy = GenerationType.AUTO)
+    private long id;
+
+    private String name;
+
+    public long getId() {
+        return id;
+    }
+
+    public void setId(long id) {
+        this.id = id;
+    }
+
+    public String getName() {
+        return name;
+    }
+
+    public void setName(String name) {
+        this.name = name;
+    }
+}