From bf92488b031ad325c27ded72de83d3a9fcf4aed6 Mon Sep 17 00:00:00 2001 From: timofey Date: Thu, 6 Jul 2023 03:14:15 +0000 Subject: [PATCH] `FallibleCtx` --- src/func/context.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/func/context.rs b/src/func/context.rs index ef74a95..2042b33 100644 --- a/src/func/context.rs +++ b/src/func/context.rs @@ -40,3 +40,7 @@ pub trait FunctorContextExt<'a>: FunctorContext<'a> { } impl<'a, Ctx: FunctorContext<'a>> FunctorContextExt<'a> for Ctx {} + +trait FallibleCtx<'a>: FunctorContext<'a> { + type Fallible: MonadFailAny<'a, T = Self::T>; +}