Sfoglia il codice sorgente

Implement foldable any

DricomDragon 5 anni fa
parent
commit
71ccb3f570
1 ha cambiato i file con 3 aggiunte e 0 eliminazioni
  1. 3 0
      fold.hs

+ 3 - 0
fold.hs

@@ -8,3 +8,6 @@ fmax = foldl max 0
 
 for::[Bool] -> Bool
 for = foldl (||) False
+
+fany::(a->Bool)->[a]->Bool
+fany p xs = for $ map p xs