From 7d3cd7eea72eb0a9af3ca9f188632244ac7c8635 Mon Sep 17 00:00:00 2001
From: Giovanni Costagliola <giovanni.costagliola@gmail.com>
Date: Mon, 9 Dec 2024 16:54:55 +0100
Subject: [PATCH] ToResult: support for async

---
 src/Monads/Maybe/Maybe.cs                |  3 +--
 src/Monads/Maybe/MaybeAsyncExtensions.cs | 14 ++++++++++++--
 src/Monads/Maybe/MaybeExtensions.cs      |  1 -
 3 files changed, 13 insertions(+), 5 deletions(-)

diff --git a/src/Monads/Maybe/Maybe.cs b/src/Monads/Maybe/Maybe.cs
index c3fd0ea..5d31dec 100644
--- a/src/Monads/Maybe/Maybe.cs
+++ b/src/Monads/Maybe/Maybe.cs
@@ -93,8 +93,7 @@ public Maybe(TValue? value)
     public Maybe<TNewValue> Map<TNewValue>(Func<TValue, TNewValue?> map) where TNewValue : class
         => Value is not null ? new Maybe<TNewValue>(map(Value)) : Maybe<TNewValue>.None;
     
-    public Result<TValue> MapToResult() => 
-        Value is not null ? Result.Success(Value) : Result.Failure<TValue>(MaybeNoneError.Default);
+    
 
     /// <inheritdoc cref="M:Bogoware.Monads.Maybe`1.Map``1(System.Func{`0,``0})"/>
     public async Task<Maybe<TNewValue>> Map<TNewValue>(Func<TValue, Task<TNewValue?>> map) where TNewValue : class
diff --git a/src/Monads/Maybe/MaybeAsyncExtensions.cs b/src/Monads/Maybe/MaybeAsyncExtensions.cs
index 96686eb..0280cf5 100644
--- a/src/Monads/Maybe/MaybeAsyncExtensions.cs
+++ b/src/Monads/Maybe/MaybeAsyncExtensions.cs
@@ -191,7 +191,16 @@ public static Task<bool> Satisfy<TValue>(this Task<Maybe<TValue>> maybe, Func<TV
         where TValue : class
         => maybe.Match(predicate, false);
 
-    /// <inheritdoc cref="M:Bogoware.Monads.MaybeExtensions.ToResult``1(Bogoware.Monads.Maybe{``0},System.Func{Bogoware.Monads.Error})"/>
+    
+    /// <inheritdoc cref="M:Bogoware.Monads.MaybeExtensions.MapToResult``1(Bogoware.Monads.Maybe{``0})"/>
+    [MethodImpl(MethodImplOptions.AggressiveInlining)]
+    public static async Task<Result<TValue>> ToResult<TValue>(this Task<Maybe<TValue>> maybeTask) where TValue : class
+    {
+        var maybe = await maybeTask;
+        return maybe.MapToResult();
+    }
+    
+    /// <inheritdoc cref="M:Bogoware.Monads.MaybeExtensions.MapToResult``1(Bogoware.Monads.Maybe{``0},System.Func{Bogoware.Monads.Error})"/>
     [MethodImpl(MethodImplOptions.AggressiveInlining)]
     public static async Task<Result<TValue>> ToResult<TValue>(this Task<Maybe<TValue>> maybeTask, Func<Error> errorFunc) where TValue : class
     {
@@ -199,7 +208,8 @@ public static async Task<Result<TValue>> ToResult<TValue>(this Task<Maybe<TValue
         return maybe.MapToResult(errorFunc);
     }
 
-    /// <inheritdoc cref="M:Bogoware.Monads.MaybeExtensions.ToResult``1(Bogoware.Monads.Maybe{``0},System.Func{Bogoware.Monads.Error})"/>
+
+    /// <inheritdoc cref="M:Bogoware.Monads.MaybeExtensions.MapToResult``1(Bogoware.Monads.Maybe{``0},System.Func{Bogoware.Monads.Error})"/>
     [MethodImpl(MethodImplOptions.AggressiveInlining)]
     public static async Task<Result<TValue>> ToResult<TValue>(this Task<Maybe<TValue>> maybeTask, Func<Task<Error>> errorFunc) where TValue : class
     {
diff --git a/src/Monads/Maybe/MaybeExtensions.cs b/src/Monads/Maybe/MaybeExtensions.cs
index 47025f0..3c16a84 100644
--- a/src/Monads/Maybe/MaybeExtensions.cs
+++ b/src/Monads/Maybe/MaybeExtensions.cs
@@ -228,7 +228,6 @@ Func<Task<TNewValue>> value
     /// <summary>
     /// Convert a <see cref="Maybe{T}"/> to a <see cref="Result{TValue}"/> with a default error in case of <c>None</c>.
     /// </summary>
-    /// <param name="maybe"></param>
     [MethodImpl(MethodImplOptions.AggressiveInlining)]
     public static Result<TValue> MapToResult<TValue>(this Maybe<TValue> maybe)
         where TValue : class