Overload source to accept any combination of factors (#1)

* Overload source to accept any combination of factors

src/AsyncWriterResult/Library.fs

@@ -218,6 +218,8 @@ module AsyncWriter =
 
     let retn a = Writer.retn a |> Async.retn
 
+    let map f = f |> Writer.map |> Async.map
+
 
 type ResultBuilder() =
     member __.Return(x) = Result.retn x
@@ -242,14 +244,36 @@ type WriterResultBuilder() =
     member __.ReturnFrom(m: Writer<'w, Result<'a, 'b>>) = m
     member __.Bind(m, f) = WriterResult.bind f m
     member __.Zero() = __.Return()
+    member __.Source(x: Writer<'w, Result<'a, 'b>>) = x
 
 let writerResult = WriterResultBuilder()
 
+[<AutoOpen>]
+module WriterResultBuilderExtensions =
+    type WriterResultBuilder with
+        member __.Source(x: Result<'a, 'b>) = x |> Writer.retn
+        member __.Source(x: Writer<'w, 't>) = x |> Writer.map Ok
+
 
 type AsyncWriterResultBuilder() =
     member __.Return(x) = AsyncWriterResult.retn x
     member __.ReturnFrom(m: Async<Writer<'w, Result<'a, 'b>>>) = m
     member __.Bind(m, f) = AsyncWriterResult.bind f m
     member __.Zero() = __.Return()
+    member __.Source(x: Async<Writer<'w, Result<'a, 'b>>>) = x
 
 let asyncWriterResult = AsyncWriterResultBuilder()
+
+[<AutoOpen>]
+module AsyncWriterResultBuilderExtensions =
+    type AsyncWriterResultBuilder with
+        member __.Source(x: Result<'a, 'b>) = x |> AsyncWriter.retn
+        member __.Source(x: Writer<'w, 't>) = x |> Writer.map Ok |> Async.retn
+        member __.Source(x: Async<'t>) = x |> Async.map WriterResult.retn
+
+[<AutoOpen>]
+module AsyncWriterResultBuilderExtensionsHighPriority =
+    type AsyncWriterResultBuilder with
+        member __.Source(x: Writer<'w, Result<'a, 'b>>) = x |> Async.retn
+        member __.Source(x: Async<Result<'a, 'b>>) = x |> Async.map Writer.retn
+        member __.Source(x: Async<Writer<'w, 't>>) = x |> AsyncWriter.map Result.retn

src/AsyncWriterResult/TaskWriterResult.fs

@@ -35,6 +35,8 @@ module TaskWriter =
 
     let retn a = Writer.retn a |> Task.retn
 
+    let map f = f |> Writer.map |> Task.map
+
 
 
 
@@ -110,5 +112,20 @@ module TaskWriterResult =
         member __.ReturnFrom(m: Task<Writer<'w, Result<'a, 'b>>>) = m
         member __.Bind(m, f) = bind f m
         member __.Zero() = __.Return()
+        member __.Source(x: Task<Writer<'w, Result<'a, 'b>>>) = x
 
     let taskWriterResult = TaskWriterResultBuilder()
+
+    [<AutoOpen>]
+    module TaskWriterResultBuilderExtensions =
+        type TaskWriterResultBuilder with
+            member __.Source(x: Result<'a, 'b>) = x |> TaskWriter.retn
+            member __.Source(x: Writer<'w, 't>) = x |> Writer.map Ok |> Task.retn
+            member __.Source(x: Task<'t>) = x |> Task.map WriterResult.retn
+
+    [<AutoOpen>]
+    module TaskWriterResultBuilderExtensionsHighPriority =
+        type TaskWriterResultBuilder with
+            member __.Source(x: Writer<'w, Result<'a, 'b>>) = x |> Task.retn
+            member __.Source(x: Task<Result<'a, 'b>>) = x |> Task.map Writer.retn
+            member __.Source(x: Task<Writer<'w, 't>>) = x |> TaskWriter.map Result.retn