From 6a56aa5fe1f69b54b1b2ab4a9a32a818d5128f86 Mon Sep 17 00:00:00 2001
From: Louis Pilfold <louis@lpil.uk>
Date: Sat, 1 Jan 2022 22:01:49 +0000
Subject: Field requires a type

---
 src/gleam/dynamic.gleam | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/gleam/dynamic.gleam b/src/gleam/dynamic.gleam
index ff040db..fa1b69e 100644
--- a/src/gleam/dynamic.gleam
+++ b/src/gleam/dynamic.gleam
@@ -386,8 +386,13 @@ if javascript {
 ///    > field(from(123), "Hello")
 ///    Error(DecodeError(expected: "Map", found: "Int"))
 ///
-pub fn field(from value: Dynamic, named name: a) -> Result(Dynamic, DecodeError) {
-  decode_field(value, name)
+pub fn field(
+  from value: Dynamic,
+  named name: a,
+  of inner_type: Decoder(t),
+) -> Result(t, DecodeError) {
+  try value = decode_field(value, name)
+  inner_type(value)
 }
 
 if erlang {
-- 
cgit v1.2.3