From 253467ebae6a65eaea9b425e21f93c38d0983c9a Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Mon, 29 Jan 2024 21:44:54 -0500
Subject: [PATCH] Fix definition of elemOf

---
 src/Control/Lens/Fold.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Control/Lens/Fold.idr b/src/Control/Lens/Fold.idr
index e9f9dff..67ff90d 100644
--- a/src/Control/Lens/Fold.idr
+++ b/src/Control/Lens/Fold.idr
@@ -218,7 +218,7 @@ ianyOf = ifoldMapOf @{Any}
 ||| Return `True` if the element occurs in the focuses of the optic.
 public export
 elemOf : Eq a => Fold s a -> a -> s -> Bool
-elemOf l = allOf l . (==)
+elemOf l = anyOf l . (==)
 
 ||| Calculate the number of focuses of the optic.
 public export