From 41972e28c534cf358cc498ecbfabd5d4bd3387b8 Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Wed, 26 Apr 2023 03:41:56 +0000
Subject: [PATCH] MonadFail for OptionClass

---
 src/func/classes/option.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/func/classes/option.rs b/src/func/classes/option.rs
index e1e05f7..19804a0 100644
--- a/src/func/classes/option.rs
+++ b/src/func/classes/option.rs
@@ -123,6 +123,15 @@ impl LocalFunctor for OptionClass {
     }
 }
 
+impl MonadFail<()> for OptionClass {
+    fn fail<'a, A: 'a>(_e: ()) -> Self::F<'a, A>
+    where
+        Self: 'a,
+        (): 'a {
+        None
+    }
+}
+
 #[cfg(test)]
 mod option_tests {
     use super::{test_suite, tests, Functor};