From 45b3e6c2bf108ad2cb17b91c108fa3456d9b5315 Mon Sep 17 00:00:00 2001 From: timofey Date: Sun, 15 Oct 2023 14:40:40 +0000 Subject: [PATCH] extend result error samples --- src/func/instances/result.rs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/func/instances/result.rs b/src/func/instances/result.rs index d7e22f2..6ba98a7 100644 --- a/src/func/instances/result.rs +++ b/src/func/instances/result.rs @@ -250,7 +250,7 @@ impl<'a, T: Monad<'a>> MonadFailAny<'a> for ResultFailOver { mod result_tests { use super::{test_suite, tests, ResultInstance}; - type T = ResultInstance; + type T = ResultInstance; impl<'a> tests::Eqr<'a> for T { fn eqr( @@ -264,8 +264,10 @@ mod result_tests { impl<'a> test_suite::FunctorTestSuite<'a> for T { fn sample Self::F))>(mut f: F) { - f(&|_| Err(false)); - f(&|_| Err(true)); + f(&|_| Err(0)); + f(&|_| Err(1)); + f(&|_| Err(2)); + f(&|_| Err(3)); f(&|a| Ok(a)); } }