From 75b4898094027dba90fe16d883f0cd7accd769a7 Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Thu, 6 Jul 2023 03:35:42 +0000
Subject: [PATCH] move `FallibleWrapped` 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 be03244..64b1850 100644
--- a/src/func/context.rs
+++ b/src/func/context.rs
@@ -49,3 +49,6 @@ pub trait FallibleCtx<'a>: FunctorContext<'a> {
 
 /// Preferred monad for fallible uses.
 pub type FallibleMonad<'a, Ctx, E> = <<Ctx as FallibleCtx<'a>>::Fallible as MonadFailAny<'a>>::W<E>;
+
+/// Preferred [Wrap]ped [Result].
+pub type FallibleWrapped<'a, Ctx, A, E> = Wrap<'a, A, FallibleMonad<'a, Ctx, E>>;
diff --git a/src/rstd/fallible.rs b/src/rstd/fallible.rs
index ebbbd92..155b4a8 100644
--- a/src/rstd/fallible.rs
+++ b/src/rstd/fallible.rs
@@ -6,9 +6,6 @@ use crate::func::context::*;
 
 use super::*;
 
-/// Preferred [Wrapped] [Result].
-pub type FallibleWrapped<'a, Ctx, A, E> = Wrap<'a, A, FallibleMonad<'a, Ctx, E>>;
-
 /// Extention trait for simpler conversion between [`FunctorContext::T`] and [`Context::Fallible`].
 ///
 /// Until either Rust type system or [`crate::func`] take serious changes,