Add Search.isEmptyResults

unisonweb · Oct 2, 2024 · d870e0a · d870e0a
1 parent 19611f6
commit d870e0a
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/src/Lib/Search.elm b/src/Lib/Search.elm
@@ -7,6 +7,7 @@ module Lib.Search exposing
  , fromResult
  , hasSubstantialQuery
  , isEmptyQuery
+ , isEmptyResults
  , isSearching
  , queriesEquals
  , query
@@ -182,6 +183,25 @@ isEmptyQuery =
  query >> String.isEmpty
 
 
+isEmptyResults : Search a -> Maybe Bool
+isEmptyResults s =
+ case s of
+ NotAsked _ ->
+ Nothing
+
+ Searching _ (Just r) ->
+ Just (SearchResults.isEmpty r)
+
+ Searching _ Nothing ->
+ Nothing
+
+ Success _ r ->
+ Just (SearchResults.isEmpty r)
+
+ Failure _ _ ->
+ Nothing
+
+
 isSearching : Search a -> Bool
 isSearching search_ =
  case search_ of