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

CovariantFunctor for testing classes

Browse Source
This commit is contained in:
AF 2023-04-27 05:30:04 +00:00
parent 73e9b9efb3
commit b5d55fe672
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/std/tracing.rs
View File

@ -22,6 +22,7 @@ pub use self::traced::*;
pub struct TracedDiagnostic; pub struct TracedDiagnostic;
/// Implementation of [`Monad`] for [Traced] objects. /// Implementation of [`Monad`] for [Traced] objects.
#[derive(CovariantFunctor)]
pub struct TracedClass; pub struct TracedClass;
trait WithTrace: Sized { trait WithTrace: Sized {

1
src/testing/counted.rs
View File

@ -21,6 +21,7 @@ impl Context for TestContextCounted {
} }
} }
#[derive(CovariantFunctor)]
pub struct CountedClass; pub struct CountedClass;
pub struct Counted<A> { pub struct Counted<A> {