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

Context constrain Fallible

Browse Source
This commit is contained in:
AF 2023-07-06 03:27:32 +00:00
parent 0834b5e0c8
commit 6a6e3609b3
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/rcore/context.rs
View File

@ -3,7 +3,9 @@ use fail::*;
use super::*; use super::*;
/// Execution context. /// Execution context.
pub trait Context<'a>: FallibleCtx<'a, T = Self::_Tm> { pub trait Context<'a>:
FallibleCtx<'a, T = Self::_Tm, Fallible = <Self as Context<'a>>::Fallible>
{
/// 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>;