decode7

3 files changed, 98 insertions, 2 deletions

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3c2dd9a..b4de85b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -17,8 +17,8 @@
 - The decoder functions of the `dynamic` module now return multiple errors.
 - The `dynamic.any`, `dynamic.element` and `dynamic.tuple*` functions are now
   partially applied.
-- The `dynamic` module gains the `decode2`, `decode3`, `decode4`, `decode5`
-  functions.
+- The `dynamic` module gains the `decode2`, `decode3`, `decode4`, `decode5`,
+  `decode6`, `decode7` functions.
 - The `int` module gains the `digits` and `undigits` functions.
 
 ## v0.18.1 - 2021-12-19
diff --git a/src/gleam/dynamic.gleam b/src/gleam/dynamic.gleam
index 4e2a29e..dfd1220 100644
--- a/src/gleam/dynamic.gleam
+++ b/src/gleam/dynamic.gleam
@@ -1113,6 +1113,71 @@ pub fn decode6(
   }
 }
 
+/// Decode 7 values from a `Dynamic` value.
+///
+/// ## Examples
+///
+/// ```gleam
+/// > from(#(1, 2.1, "3", "4", "5", "6"))
+/// > |> decode7(
+/// >   MyRecord,
+/// >   element(0, int),
+/// >   element(1, float),
+/// >   element(2, string),
+/// >   element(3, string),
+/// >   element(4, string),
+/// >   element(5, string),
+/// >   element(6, string),
+/// > )
+/// Ok(MyRecord(1, 2.1, "3", "4", "5", "6", "7"))
+/// ```
+///
+/// ```gleam
+/// > from(#("", "", "", "", "", "", ""))
+/// > |> decode7(
+/// >   MyRecord,
+/// >   element(0, int),
+/// >   element(1, float),
+/// >   element(2, string),
+/// >   element(3, string),
+/// >   element(4, string),
+/// >   element(5, string),
+/// >   element(6, string),
+/// > )
+/// Error([
+///   DecodeError(expected: "Int", found: "String", path: ["0"]),
+///   DecodeError(expected: "Float", found: "String", path: ["1"]),
+/// ])
+/// ```
+///
+pub fn decode7(
+  constructor: fn(t1, t2, t3, t4, t5, t6, t7) -> t,
+  t1: Decoder(t1),
+  t2: Decoder(t2),
+  t3: Decoder(t3),
+  t4: Decoder(t4),
+  t5: Decoder(t5),
+  t6: Decoder(t6),
+  t7: Decoder(t7),
+) -> Decoder(t) {
+  fn(x: Dynamic) {
+    case t1(x), t2(x), t3(x), t4(x), t5(x), t6(x), t7(x) {
+      Ok(a), Ok(b), Ok(c), Ok(d), Ok(e), Ok(f), Ok(g) ->
+        Ok(constructor(a, b, c, d, e, f, g))
+      a, b, c, d, e, f, g ->
+        Error(list.flatten([
+          all_errors(a),
+          all_errors(b),
+          all_errors(c),
+          all_errors(d),
+          all_errors(e),
+          all_errors(f),
+          all_errors(g),
+        ]))
+    }
+  }
+}
+
 fn all_errors(result: Result(a, List(DecodeError))) -> List(DecodeError) {
   case result {
     Ok(_) -> []
diff --git a/test/gleam/dynamic_test.gleam b/test/gleam/dynamic_test.gleam
index 566bb15..94e4e5d 100644
--- a/test/gleam/dynamic_test.gleam
+++ b/test/gleam/dynamic_test.gleam
@@ -925,3 +925,34 @@ pub fn decode6_test() {
     DecodeError(expected: "String", found: "Float", path: ["1"]),
   ]))
 }
+
+type Seven(a, b, c, d, e, f, g) {
+  Seven(a, b, c, d, e, f, g)
+}
+
+pub fn decode7_test() {
+  let decoder =
+    dynamic.decode7(
+      Seven,
+      dynamic.element(0, dynamic.int),
+      dynamic.element(1, dynamic.string),
+      dynamic.element(2, dynamic.int),
+      dynamic.element(3, dynamic.int),
+      dynamic.element(4, dynamic.int),
+      dynamic.element(5, dynamic.int),
+      dynamic.element(6, dynamic.int),
+    )
+
+  #(1, "2", 3, 4, 5, 6, 7)
+  |> dynamic.from
+  |> decoder
+  |> should.equal(Ok(Seven(1, "2", 3, 4, 5, 6, 7)))
+
+  #(1.3, 2.1, 3, 4, 5, 6, 7)
+  |> dynamic.from
+  |> decoder
+  |> should.equal(Error([
+    DecodeError(expected: "Int", found: "Float", path: ["0"]),
+    DecodeError(expected: "String", found: "Float", path: ["1"]),
+  ]))
+}