Add the Count function to the standard library

anoma · Nov 8, 2024 · ecfb567 · ecfb567
1 parent 4d5b43e
commit ecfb567
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Stdlib/Data/List/Base.juvix b/Stdlib/Data/List/Base.juvix
@@ -75,6 +75,10 @@ length {A} (list : List A) : Nat :=
     suc acc
   };
 
+--- 𝒪(𝓃). Find the number of elements in a ;List;. that satisfy a given predicate.
+count {A} : (A -> Bool) -> List A -> Nat
+  | predicate := filter predicate >> length;
+
 --- 𝒪(𝓃). Returns the given ;List; in reverse order.
 {-# isabelle-function: {name: "rev"} #-}
 reverse {A} (list : List A) : List A :=