Vavr の Option 値でレコードを検索するための mongo クエリ (Spring Data を使用) を作成しようとしています。値 Option userId があり、このパラメーターでデータベースを検索できるかどうか疑問に思っています。
MongoDB と Spring のドキュメントを検索しましたが、これには Option のような Vavr タイプに関するものはありません。このクエリはどれも機能していません。
Option<Result> FindFirstByUserIdAndCreationDateDesc(String userId);
Option<Result> FindFirstByOptionUserIdAndCreationDateDesc(String userId);
userId は Vavr オプションです
Option<String> userId;