From ce081c6f48e49aa935bcac3724cc555aaa5613f1 Mon Sep 17 00:00:00 2001
From: Gustavo Leon <1261319+gusty@users.noreply.github.com>
Date: Wed, 8 Nov 2023 06:51:41 +0100
Subject: [PATCH] + Validation.ofOptionWith

---
 src/FSharpPlus/Data/Validation.fs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/FSharpPlus/Data/Validation.fs b/src/FSharpPlus/Data/Validation.fs
index ab2513d31..4cc176805 100644
--- a/src/FSharpPlus/Data/Validation.fs
+++ b/src/FSharpPlus/Data/Validation.fs
@@ -186,6 +186,18 @@ module Validation =
     /// Creates a Validation<'Error,'T> from a Choice<'T,'Error>.
     let ofChoice (x: Choice<'T,'Error>) = match x with Choice1Of2 a -> Success a | Choice2Of2 e -> Failure e
 
+    /// <summary>Converts an option to a Validation.</summary>
+    /// <param name="errorValue">The error value to be used in case of None.</param>
+    /// <param name="source">The option value.</param>
+    /// <returns>The resulting Validation value.</returns>
+    let ofOptionWith (errorValue: 'Error) (source: 'T option) = match source with Some x -> Success x | None -> Failure errorValue
+
+    /// <summary>Converts a voption to a Validation.</summary>
+    /// <param name="errorValue">The error value to be used in case of None.</param>
+    /// <param name="source">The voption value.</param>
+    /// <returns>The resulting Validation value.</returns>
+    let ofValueOptionWith (errorValue: 'Error) (source: 'T voption) = match source with ValueSome x -> Success x | ValueNone -> Failure errorValue
+    
     /// <summary> Extracts a value from either side of a Validation.</summary>
     /// <param name="successMapper">Function to be applied to source, if it contains a Success value.</param>
     /// <param name="failureMapper">Function to be applied to source, if it contains a Failure value.</param>