From e9b68c091388f460833a6dc2c7fde32812993763 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Tue, 11 Mar 2025 18:58:48 +0100
Subject: [PATCH] added assignment 4 ex 4

---
 src/Assignment4/Ex4_Predicates.sc | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 src/Assignment4/Ex4_Predicates.sc

diff --git a/src/Assignment4/Ex4_Predicates.sc b/src/Assignment4/Ex4_Predicates.sc
new file mode 100644
index 0000000..717489f
--- /dev/null
+++ b/src/Assignment4/Ex4_Predicates.sc
@@ -0,0 +1,24 @@
+import scala.annotation.tailrec
+
+@tailrec
+def any[T](p: T => Boolean)(l: List[T]): Boolean = {
+  if (l.isEmpty) false
+  else if (p(l.head)) true
+  else any(p)(l.tail)
+}
+
+@tailrec
+def every[T](p: T => Boolean)(l: List[T]): Boolean = {
+  if (l.isEmpty) true
+  else if (!p(l.head)) false
+  else every(p)(l.tail)
+}
+
+val a = List(1, 2, 3, 4, 5)
+assert(!any((x: Int) => x == 12)(a))
+assert(any((x: Int) => x > 4)(a))
+
+val a = List(1, 2, 3, 4, 5)
+val b = List(2, 4, 6, 8, 10)
+assert(!every((x: Int) => (x % 2) == 0)(a))
+assert(every((x: Int) => (x % 2) == 0)(b))
\ No newline at end of file