From 959ead049e6f22438902399eb0925e8f60e0f3e0 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sat, 15 Jun 2024 01:47:35 +0900
Subject: Add `member?` function

---
 algebraic-structures.foldable.scm | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

(limited to 'algebraic-structures.foldable.scm')

diff --git a/algebraic-structures.foldable.scm b/algebraic-structures.foldable.scm
index be3d615..25c66bb 100644
--- a/algebraic-structures.foldable.scm
+++ b/algebraic-structures.foldable.scm
@@ -3,10 +3,11 @@
      length
      count
      any
-     every)
+     every
+     member?)
   (import (except scheme length)
           F
-          (only (chicken base) add1 call/cc))
+          (only (chicken base) add1 call/cc assert))
 
   (define (length xs)
     (fold (lambda (_ acc) (add1 acc))
@@ -36,4 +37,16 @@
        (fold (lambda (e acc)
                (or (pred e) (return #f)))
              #t
+             xs))))
+
+  (define (member? x xs #!optional (= equal?))
+    (call/cc
+     (lambda (return)
+       (fold (lambda (e _)
+               (if (= e x)
+                   (return #t)
+                   #f))
+             #f
              xs)))))
+
+
-- 
cgit v1.2.3