From 53378dae981bbf2512dbd5bf33a48a81d0d9b34e Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Thu, 6 Jul 2023 03:15:00 +0000
Subject: [PATCH] move `Fallible` docs

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

diff --git a/src/func/context.rs b/src/func/context.rs
index 2042b33..bbb8c78 100644
--- a/src/func/context.rs
+++ b/src/func/context.rs
@@ -42,5 +42,7 @@ pub trait FunctorContextExt<'a>: FunctorContext<'a> {
 impl<'a, Ctx: FunctorContext<'a>> FunctorContextExt<'a> for Ctx {}
 
 trait FallibleCtx<'a>: FunctorContext<'a> {
+    /// Type to allow improved support for [`Result`] evaluation.
+    /// This is important for async applications stopping early.
     type Fallible: MonadFailAny<'a, T = Self::T>;
 }
diff --git a/src/rcore/context.rs b/src/rcore/context.rs
index 4c1f0dd..c96ba0f 100644
--- a/src/rcore/context.rs
+++ b/src/rcore/context.rs
@@ -7,8 +7,6 @@ pub trait Context<'a>: FunctorContext<'a, T = Self::_Tm> {
     /// Type to provide for [Monad]ic representation of computation, mostly that of resolution ([`Resolution`]).
     type _Tm: Monad<'a>;
 
-    /// Type to allow improved support for [`Result`] evaluation.
-    /// This is important for async applications stopping early.
     type Fallible: MonadFailAny<'a, T = Self::T>;
 
     /// See [`Diagnostic`].