From bc0148a918dd7bf0adce2cf241da49398c86c4f5 Mon Sep 17 00:00:00 2001
From: John Turner <jturner.usa@gmail.com>
Date: Wed, 22 Oct 2025 17:10:55 -0400
Subject: impl Not combinator

---
 src/lib.rs | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/src/lib.rs b/src/lib.rs
index fc91cb1..e0be671 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -740,6 +740,36 @@ where
     }
 }
 
+struct Not<P> {
+    parser: P,
+}
+
+impl<I, P> Parser<I> for Not<P>
+where
+    I: Input,
+    P: Parser<I>,
+{
+    type Output = ();
+
+    fn run<OM: Mode, EM: Mode, T: Trace<I>>(
+        &mut self,
+        it: InputIter<I>,
+    ) -> ParserResult<I, Self::Output, OM, EM> {
+        match self.parser.check(it.clone()) {
+            Ok(_) => Ok((it, OM::bind(|| ()))),
+            Err(rest) => Err(EM::bind(|| rest)),
+        }
+    }
+}
+
+pub fn not<I, P>(parser: P) -> impl Parser<I, Output = ()>
+where
+    I: Input,
+    P: Parser<I>,
+{
+    Not { parser }
+}
+
 pub fn alpha<I>() -> impl Parser<I, Output = I>
 where
     I: Input,
-- 
cgit v1.2.3