From 99088a1df81ffa7f4854d931563d55a15962ad40 Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Thu, 6 Jul 2023 03:32:14 +0000
Subject: [PATCH] move `FallibleMonad` to `func::context`

---
 src/func/context.rs  | 3 +++
 src/rstd/fallible.rs | 3 ---
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/func/context.rs b/src/func/context.rs
index 9427011..be03244 100644
--- a/src/func/context.rs
+++ b/src/func/context.rs
@@ -46,3 +46,6 @@ pub trait FallibleCtx<'a>: FunctorContext<'a> {
     /// This is important for async applications stopping early.
     type Fallible: MonadFailAny<'a, T = Self::T>;
 }
+
+/// Preferred monad for fallible uses.
+pub type FallibleMonad<'a, Ctx, E> = <<Ctx as FallibleCtx<'a>>::Fallible as MonadFailAny<'a>>::W<E>;
diff --git a/src/rstd/fallible.rs b/src/rstd/fallible.rs
index ce451de..a545cb0 100644
--- a/src/rstd/fallible.rs
+++ b/src/rstd/fallible.rs
@@ -6,9 +6,6 @@ use crate::func::context::*;
 
 use super::*;
 
-/// Preferred monad for fallible uses.
-pub type FallibleMonad<'a, Ctx, E> = <<Ctx as FallibleCtx<'a>>::Fallible as MonadFailAny<'a>>::W<E>;
-
 /// Preferred [Wrapped] [Result].
 pub type FallibleWrapped<'a, Ctx, A, E> = Wrap<'a, A, FallibleMonad<'a, Ctx, E>>;