Implement TaskValidationOp functions

Author: tw0po1nt

src/FsToolkit.ErrorHandling/FsToolkit.ErrorHandling.fsproj

@@ -33,6 +33,7 @@
     <Compile Include="AsyncValidation.fs" />
     <Compile Include="TaskValidation.fs" />
     <Compile Include="AsyncValidationOp.fs" />
+    <Compile Include="TaskValidationOp.fs" />
     <Compile Include="AsyncValidationCE.fs" />
     <Compile Include="AsyncOption.fs" />
     <Compile Include="AsyncOptionCE.fs" />

src/FsToolkit.ErrorHandling/TaskValidationOp.fs

@@ -0,0 +1,35 @@
+namespace FsToolkit.ErrorHandling.Operator.TaskValidation
+
+open FsToolkit.ErrorHandling
+
+[<AutoOpen>]
+module TaskValidation =
+    let inline (<!>)
+        ([<InlineIfLambda>] mapper: 'okInput -> 'okOutput)
+        (input: TaskValidation<'okInput, 'error>)
+        : TaskValidation<'okOutput, 'error> =
+        TaskValidation.map mapper input
+
+    let inline (<!^>)
+        ([<InlineIfLambda>] mapper: 'okInput -> 'okOutput)
+        (input: Result<'okInput, 'error>)
+        : TaskValidation<'okOutput, 'error> =
+        TaskValidation.map mapper (TaskValidation.ofResult input)
+
+    let inline (<*>)
+        (applier: TaskValidation<('okInput -> 'okOutput), 'error>)
+        (input: TaskValidation<'okInput, 'error>)
+        : TaskValidation<'okOutput, 'error> =
+        TaskValidation.apply applier input
+
+    let inline (<*^>)
+        (applier: TaskValidation<('okInput -> 'okOutput), 'error>)
+        (input: Result<'okInput, 'error>)
+        : TaskValidation<'okOutput, 'error> =
+        TaskValidation.apply applier (TaskValidation.ofResult input)
+
+    let inline (>>=)
+        (input: TaskValidation<'okInput, 'error>)
+        ([<InlineIfLambda>] binder: 'okInput -> TaskValidation<'okOutput, 'error>)
+        : TaskValidation<'okOutput, 'error> =
+        TaskValidation.bind binder input