1. Overview

In this quick tutorial, we’re going to take a look at the support for Vavr in Spring Data – which was added in the 2.0.0 Spring build snapshot.

More specifically, we’re going to show an example of using Vavr Option and Vavr collections as return types of a Spring Data JPA repository.

2. Maven Dependencies

First, let’s setup a Spring Boot project, since it makes configuring Spring Data much quicker, by adding the spring-boot-parent dependency to the pom.xml:


Evidently, we also need the vavr dependency, as well as a few other dependencies for Spring Data and testing:


The latest versions of vavr, spring-boot-starter-data-jpa, spring-boot-starter-test and h2 can be downloaded from Maven Central.

In this example, we’re only using Spring Boot because it provides Spring Data auto-configuration. If you are working in a non-Boot project, you can add the spring-data-commons dependency with Vavr support directly:


3. Spring Data JPA Repository With Vavr

Spring Data now contains support for defining repository query methods using Vavr‘s Option and Vavr collections: Seq, Set, and Map as return types.

First, let’s create a simple entity class to manipulate:

public class User {

    @GeneratedValue(strategy = GenerationType.AUTO)
    private long id;

    private String name;
    // standard constructor, getters, setters

Next, let’s create the JPA repository by implementing the Repository interface and defining two query methods:

public interface VavrUserRepository extends Repository<User, Long> {

    Option<User> findById(long id);

    Seq<User> findByName(String name);

    User save(User user);

Here, we have made use of Vavr Option for a method returning zero or one results, and Vavr Seq for a query method which returns multiple User records.

We also need a main Spring Boot class to auto-configure Spring Data and bootstrap our application:

public class Application {
    public static void main(String[] args) {
        SpringApplication.run(Application.class, args);

Since we have added the h2 dependency, Spring Boot will auto-configure a DataSource using an in-memory H2 database.

4. Testing the JPA Repository

Let’s add a JUnit test to verify our repository methods:

@SpringBootTest(classes = Application.class)
public class VavrRepositoryIntegrationTest {

    private VavrUserRepository userRepository;

    public void setup() {
        User user1 = new User();
        User user2 = new User();


    public void whenAddUsers_thenGetUsers() {
        Option<User> user = userRepository.findById(1L);

        Seq<User> users = userRepository.findByName("John");
        assertEquals(2, users.size());

In the above test, we first add two user records to the database, then call the repository’s query methods. As you can see, the methods return the correct Vavr objects.

5. Conclusion

In this quick example, we have shown how we can define a Spring Data repository using Vavr types.

As always, the full source code can be found over on GitHub.

Course – LSD (cat=Persistence)

Get started with Spring Data JPA through the reference Learn Spring Data JPA course:

res – Persistence (eBook) (cat=Persistence)
Comments are open for 30 days after publishing a post. For any issues past this date, use the Contact form on the site.