FallibleCtx

This commit is contained in:
AF 2023-07-06 03:14:15 +00:00
parent 8195249e51
commit bf92488b03

View File

@ -40,3 +40,7 @@ pub trait FunctorContextExt<'a>: FunctorContext<'a> {
} }
impl<'a, Ctx: FunctorContext<'a>> FunctorContextExt<'a> for Ctx {} impl<'a, Ctx: FunctorContext<'a>> FunctorContextExt<'a> for Ctx {}
trait FallibleCtx<'a>: FunctorContext<'a> {
type Fallible: MonadFailAny<'a, T = Self::T>;
}