Add Decode.andMap allowing to decoder large objects incrementally

CHANGELOG.md

@@ -23,6 +23,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 * Add doc comment to `Decode.fromValue`, `Decode.fromString`, `Decode.unsafeFromString`
 * Add support for `char`
 * Add link to the "extra coders" section when coders fail for missing types information
+* Add `Decode.andMap` allowing to decoder large objects incrementally
 
 ### Changed
 

paket.lock

@@ -627,8 +627,8 @@ GROUP tests
 
 GITHUB
   remote: thoth-org/Thoth.Json
-    tests/BackAndForth.fs (51dd6bc3d1e347bdb3f5fd8fbdee91f1d8ed9a4f)
-    tests/Decoders.fs (51dd6bc3d1e347bdb3f5fd8fbdee91f1d8ed9a4f)
-    tests/Encoders.fs (51dd6bc3d1e347bdb3f5fd8fbdee91f1d8ed9a4f)
-    tests/ExtraCoders.fs (51dd6bc3d1e347bdb3f5fd8fbdee91f1d8ed9a4f)
-    tests/Types.fs (51dd6bc3d1e347bdb3f5fd8fbdee91f1d8ed9a4f)
+    tests/BackAndForth.fs (b01cdf639076bdf6e2d5c6a5cec1e86e99c03ab9)
+    tests/Decoders.fs (b01cdf639076bdf6e2d5c6a5cec1e86e99c03ab9)
+    tests/Encoders.fs (b01cdf639076bdf6e2d5c6a5cec1e86e99c03ab9)
+    tests/ExtraCoders.fs (b01cdf639076bdf6e2d5c6a5cec1e86e99c03ab9)
+    tests/Types.fs (b01cdf639076bdf6e2d5c6a5cec1e86e99c03ab9)

src/Decode.fs

@@ -748,6 +748,29 @@ module Decode =
     // Object builder ///
     ////////////////////
 
+    /// <summary>
+    /// Allow to incrementally apply a decoder, for building large objects.
+    /// </summary>
+    /// <example>
+    /// <code lang="fsharp">
+    /// type Point =
+    ///     {
+    ///         X : float
+    ///         Y : float
+    ///     }
+    ///
+    /// module Point =
+    ///     let create x y = { X = x; Y = y }
+    ///
+    ///     let decode =
+    ///         Decode.succeed create
+    ///             |> Decode.andMap (Decode.field "x" Decode.float)
+    ///             |> Decode.andMap (Decode.field "y" Decode.float)
+    /// </code>
+    /// </example>
+    let andMap<'a, 'b> : 'a Decoder -> ('a -> 'b) Decoder -> 'b Decoder =
+        map2 (|>)
+
     type IRequiredGetter =
         abstract Field : string -> Decoder<'a> -> 'a
         abstract At : List<string> -> Decoder<'a> -> 'a