PTV/radn-rs
1
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

remove Context::Fallible

Browse Source
This commit is contained in:
AF 2023-07-06 03:48:43 +00:00
parent 49cfeea849
commit 521702ba99
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/rcore/context.rs
View File

@ -1,16 +1,12 @@
use fail::*;
use super::*; use super::*;
/// Execution context. /// Execution context.
pub trait Context<'a>: pub trait Context<'a>:
FallibleCtx<'a, T = Self::_Tm, Fallible = <Self as Context<'a>>::Fallible> FallibleCtx<'a, T = Self::_Tm>
{ {
/// Type to provide for [Monad]ic representation of computation, mostly that of resolution ([`Resolution`]). /// Type to provide for [Monad]ic representation of computation, mostly that of resolution ([`Resolution`]).
type _Tm: Monad<'a>; type _Tm: Monad<'a>;
type Fallible: MonadFailAny<'a, T = Self::T>;
/// See [`Diagnostic`]. /// See [`Diagnostic`].
type D: Diagnostic<'a, Self::T>; type D: Diagnostic<'a, Self::T>;