1 files changed, 170 insertions, 0 deletions
diff --git a/gen/test/gleam@dynamic_test.erl b/gen/test/gleam@dynamic_test.erl
new file mode 100644
index 0000000..d233dbc
--- /dev/null
+++ b/gen/test/gleam@dynamic_test.erl
@@ -0,0 +1,170 @@
+-module(gleam@dynamic_test).
+-compile(no_auto_import).
+
+-export([string_test/0, int_test/0, float_test/0, thunk_test/0, bool_test/0, atom_test/0, list_test/0, field_test/0]).
+
+string_test() ->
+    gleam@expect:equal(
+        gleam@dynamic:string(gleam@dynamic:from(<<"">>)),
+        {ok, <<"">>}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:string(gleam@dynamic:from(<<"Hello">>)),
+        {ok, <<"Hello">>}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:string(gleam@dynamic:from(1)),
+        {error, <<"Expected a String, got `1`">>}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:string(gleam@dynamic:from([])),
+        {error, <<"Expected a String, got `[]`">>}
+    ).
+
+int_test() ->
+    gleam@expect:equal(gleam@dynamic:int(gleam@dynamic:from(1)), {ok, 1}),
+    gleam@expect:equal(gleam@dynamic:int(gleam@dynamic:from(2)), {ok, 2}),
+    gleam@expect:equal(
+        gleam@dynamic:int(gleam@dynamic:from(1.0)),
+        {error, <<"Expected an Int, got `1.0`">>}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:int(gleam@dynamic:from([])),
+        {error, <<"Expected an Int, got `[]`">>}
+    ).
+
+float_test() ->
+    gleam@expect:equal(gleam@dynamic:float(gleam@dynamic:from(1.0)), {ok, 1.0}),
+    gleam@expect:equal(gleam@dynamic:float(gleam@dynamic:from(2.2)), {ok, 2.2}),
+    gleam@expect:equal(
+        gleam@dynamic:float(gleam@dynamic:from(1)),
+        {error, <<"Expected a Float, got `1`">>}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:float(gleam@dynamic:from([])),
+        {error, <<"Expected a Float, got `[]`">>}
+    ).
+
+thunk_test() ->
+    gleam@expect:is_ok(gleam@dynamic:thunk(gleam@dynamic:from(fun() -> 1 end))),
+    gleam@expect:equal(
+        gleam@result:map(
+            gleam@dynamic:thunk(gleam@dynamic:from(fun() -> 1 end)),
+            fun(F) -> F() end
+        ),
+        {ok, gleam@dynamic:from(1)}
+    ),
+    gleam@expect:is_error(
+        gleam@dynamic:thunk(gleam@dynamic:from(fun(X) -> X end))
+    ),
+    gleam@expect:is_error(gleam@dynamic:thunk(gleam@dynamic:from(1))),
+    gleam@expect:is_error(gleam@dynamic:thunk(gleam@dynamic:from([]))).
+
+bool_test() ->
+    gleam@expect:equal(
+        gleam@dynamic:bool(gleam@dynamic:from(true)),
+        {ok, true}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:bool(gleam@dynamic:from(false)),
+        {ok, false}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:bool(gleam@dynamic:from(1)),
+        {error, <<"Expected a Bool, got `1`">>}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:bool(gleam@dynamic:from([])),
+        {error, <<"Expected a Bool, got `[]`">>}
+    ).
+
+atom_test() ->
+    gleam@expect:equal(
+        gleam@dynamic:atom(
+            gleam@dynamic:from(gleam@atom:create_from_string(<<"">>))
+        ),
+        {ok, gleam@atom:create_from_string(<<"">>)}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:atom(
+            gleam@dynamic:from(gleam@atom:create_from_string(<<"ok">>))
+        ),
+        {ok, gleam@atom:create_from_string(<<"ok">>)}
+    ),
+    gleam@expect:is_error(gleam@dynamic:atom(gleam@dynamic:from(1))),
+    gleam@expect:is_error(gleam@dynamic:atom(gleam@dynamic:from([]))).
+
+list_test() ->
+    gleam@expect:equal(
+        gleam@dynamic:list(gleam@dynamic:from([]), fun gleam@dynamic:string/1),
+        {ok, []}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:list(gleam@dynamic:from([]), fun gleam@dynamic:int/1),
+        {ok, []}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:list(
+            gleam@dynamic:from([1, 2, 3]),
+            fun gleam@dynamic:int/1
+        ),
+        {ok, [1, 2, 3]}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:list(
+            gleam@dynamic:from([[1], [2], [3]]),
+            fun(Capture1) ->
+                gleam@dynamic:list(Capture1, fun gleam@dynamic:int/1)
+            end
+        ),
+        {ok, [[1], [2], [3]]}
+    ),
+    gleam@expect:is_error(
+        gleam@dynamic:list(gleam@dynamic:from(1), fun gleam@dynamic:string/1)
+    ),
+    gleam@expect:is_error(
+        gleam@dynamic:list(gleam@dynamic:from(1.0), fun gleam@dynamic:int/1)
+    ),
+    gleam@expect:is_error(
+        gleam@dynamic:list(
+            gleam@dynamic:from([<<"">>]),
+            fun gleam@dynamic:int/1
+        )
+    ),
+    gleam@expect:is_error(
+        gleam@dynamic:list(
+            gleam@dynamic:from(
+                [gleam@dynamic:from(1), gleam@dynamic:from(<<"not an int">>)]
+            ),
+            fun gleam@dynamic:int/1
+        )
+    ).
+
+field_test() ->
+    {ok, OkAtom} = gleam@atom:from_string(<<"ok">>),
+    {ok, ErrorAtom} = gleam@atom:from_string(<<"error">>),
+    gleam@expect:equal(
+        gleam@dynamic:field(
+            gleam@dynamic:from(gleam@map:insert(gleam@map:new(), OkAtom, 1)),
+            OkAtom
+        ),
+        {ok, gleam@dynamic:from(1)}
+    ),
+    gleam@expect:equal(
+        gleam@dynamic:field(
+            gleam@dynamic:from(
+                gleam@map:insert(
+                    gleam@map:insert(gleam@map:new(), OkAtom, 3),
+                    ErrorAtom,
+                    1
+                )
+            ),
+            OkAtom
+        ),
+        {ok, gleam@dynamic:from(3)}
+    ),
+    gleam@expect:is_error(
+        gleam@dynamic:field(gleam@dynamic:from(gleam@map:new()), OkAtom)
+    ),
+    gleam@expect:is_error(gleam@dynamic:field(gleam@dynamic:from(1), OkAtom)),
+    gleam@expect:is_error(gleam@dynamic:field(gleam@dynamic:from([]), [])).