Implement anyImpl and allImpl

purescm · Oct 27, 2023 · 50ed219 · 50ed219
1 parent 78cce21
commit 50ed219
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/src/Data/Array.ss b/src/Data/Array.ss
@@ -196,13 +196,9 @@
 ;; Folding ---------------------------------------------------------------------
 ;;------------------------------------------------------------------------------
 
-  (define anyImpl
-    (lambda (p xs)
-      (error #f "anyImpl not implemented")))
+  (define anyImpl srfi:214:flexvector-any)
 
-  (define allImpl
-    (lambda (p xs)
-      (error #f "allImpl not implemented")))
+  (define allImpl srfi:214:flexvector-every)
 
 ;;------------------------------------------------------------------------------
 ;; Partial ---------------------------------------------------------------------