From 3cc868d8d31bae0ed15b8688008fcdc797c43a50 Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Mon, 24 Apr 2023 19:41:43 +0000
Subject: [PATCH] std::fallible

---
 src/std.rs          | 1 +
 src/std/fallible.rs | 7 +++++++
 2 files changed, 8 insertions(+)
 create mode 100644 src/std/fallible.rs

diff --git a/src/std.rs b/src/std.rs
index e1e0eaa..93c17f5 100644
--- a/src/std.rs
+++ b/src/std.rs
@@ -3,6 +3,7 @@
 pub mod atomic;
 pub mod cast;
 pub mod collections;
+pub mod fallible;
 pub mod inlining;
 mod local_origin;
 pub mod nullable;
diff --git a/src/std/fallible.rs b/src/std/fallible.rs
new file mode 100644
index 0000000..4a2c493
--- /dev/null
+++ b/src/std/fallible.rs
@@ -0,0 +1,7 @@
+use crate::func::classes::{composition::*, result::*};
+
+use super::*;
+
+pub type FallibleMonad<Ctx, E> = CompositionClass<<Ctx as Context>::T, ResultClass<E>>;
+
+pub type FallibleWrapped<'a, Ctx, A, E> = <FallibleMonad<Ctx, E> as WeakFunctor>::F<'a, A>;