aboutsummaryrefslogtreecommitdiff
path: root/gen/test/gleam@any_test.erl
diff options
context:
space:
mode:
authorLouis Pilfold <louis@lpil.uk>2019-06-25 22:48:07 +0100
committerLouis Pilfold <louis@lpil.uk>2019-06-25 22:48:07 +0100
commit2c2541750ca4b7b604070c75c18d84be833c97d5 (patch)
treef5e63d941a1c7e2c2d4dff1d81c43fa2766308ae /gen/test/gleam@any_test.erl
parent96c20b8ebf8420fbba75c97fa08eaeb34e8dc394 (diff)
downloadgleam_stdlib-2c2541750ca4b7b604070c75c18d84be833c97d5.tar.gz
gleam_stdlib-2c2541750ca4b7b604070c75c18d84be833c97d5.zip
stdlib namespace std -> gleam
Diffstat (limited to 'gen/test/gleam@any_test.erl')
-rw-r--r--gen/test/gleam@any_test.erl118
1 files changed, 118 insertions, 0 deletions
diff --git a/gen/test/gleam@any_test.erl b/gen/test/gleam@any_test.erl
new file mode 100644
index 0000000..db6973f
--- /dev/null
+++ b/gen/test/gleam@any_test.erl
@@ -0,0 +1,118 @@
+-module(gleam@any_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, tuple_test/0, field_test/0]).
+
+string_test() ->
+ gleam@expect:equal(gleam@any:string(gleam@any:from(<<"">>)), {ok, <<"">>}),
+ gleam@expect:equal(gleam@any:string(gleam@any:from(<<"Hello">>)),
+ {ok, <<"Hello">>}),
+ gleam@expect:equal(gleam@any:string(gleam@any:from(1)),
+ {error, <<"Expected a String, got `1`">>}),
+ gleam@expect:equal(gleam@any:string(gleam@any:from([])),
+ {error, <<"Expected a String, got `[]`">>}).
+
+int_test() ->
+ gleam@expect:equal(gleam@any:int(gleam@any:from(1)), {ok, 1}),
+ gleam@expect:equal(gleam@any:int(gleam@any:from(2)), {ok, 2}),
+ gleam@expect:equal(gleam@any:int(gleam@any:from(1.0)),
+ {error, <<"Expected an Int, got `1.0`">>}),
+ gleam@expect:equal(gleam@any:int(gleam@any:from([])),
+ {error, <<"Expected an Int, got `[]`">>}).
+
+float_test() ->
+ gleam@expect:equal(gleam@any:float(gleam@any:from(1.0)), {ok, 1.0}),
+ gleam@expect:equal(gleam@any:float(gleam@any:from(2.2)), {ok, 2.2}),
+ gleam@expect:equal(gleam@any:float(gleam@any:from(1)),
+ {error, <<"Expected a Float, got `1`">>}),
+ gleam@expect:equal(gleam@any:float(gleam@any:from([])),
+ {error, <<"Expected a Float, got `[]`">>}).
+
+thunk_test() ->
+ gleam@expect:is_ok(gleam@any:thunk(gleam@any:from(fun() -> 1 end))),
+ gleam@expect:equal(gleam@result:map(gleam@any:thunk(gleam@any:from(fun() ->
+ 1
+ end)),
+ fun(F) -> F() end),
+ {ok, gleam@any:from(1)}),
+ gleam@expect:is_error(gleam@any:thunk(gleam@any:from(fun(X) -> X end))),
+ gleam@expect:is_error(gleam@any:thunk(gleam@any:from(1))),
+ gleam@expect:is_error(gleam@any:thunk(gleam@any:from([]))).
+
+bool_test() ->
+ gleam@expect:equal(gleam@any:bool(gleam@any:from(true)), {ok, true}),
+ gleam@expect:equal(gleam@any:bool(gleam@any:from(false)), {ok, false}),
+ gleam@expect:equal(gleam@any:bool(gleam@any:from(1)),
+ {error, <<"Expected a Bool, got `1`">>}),
+ gleam@expect:equal(gleam@any:bool(gleam@any:from([])),
+ {error, <<"Expected a Bool, got `[]`">>}).
+
+atom_test() ->
+ gleam@expect:equal(gleam@any:atom(gleam@any:from(gleam@atom:create_from_string(<<"">>))),
+ {ok, gleam@atom:create_from_string(<<"">>)}),
+ gleam@expect:equal(gleam@any:atom(gleam@any:from(gleam@atom:create_from_string(<<"ok">>))),
+ {ok, gleam@atom:create_from_string(<<"ok">>)}),
+ gleam@expect:is_error(gleam@any:atom(gleam@any:from(1))),
+ gleam@expect:is_error(gleam@any:atom(gleam@any:from([]))).
+
+list_test() ->
+ gleam@expect:equal(gleam@any:list(gleam@any:from([]),
+ fun gleam@any:string/1),
+ {ok, []}),
+ gleam@expect:equal(gleam@any:list(gleam@any:from([]), fun gleam@any:int/1),
+ {ok, []}),
+ gleam@expect:equal(gleam@any:list(gleam@any:from([1, 2, 3]),
+ fun gleam@any:int/1),
+ {ok, [1, 2, 3]}),
+ gleam@expect:equal(gleam@any:list(gleam@any:from([[1], [2], [3]]),
+ fun(Capture1) ->
+ gleam@any:list(Capture1,
+ fun gleam@any:int/1)
+ end),
+ {ok, [[1], [2], [3]]}),
+ gleam@expect:is_error(gleam@any:list(gleam@any:from(1),
+ fun gleam@any:string/1)),
+ gleam@expect:is_error(gleam@any:list(gleam@any:from(1.0),
+ fun gleam@any:int/1)),
+ gleam@expect:is_error(gleam@any:list(gleam@any:from([<<"">>]),
+ fun gleam@any:int/1)),
+ gleam@expect:is_error(gleam@any:list(gleam@any:from([gleam@any:from(1),
+ gleam@any:from(<<"not an int">>)]),
+ fun gleam@any:int/1)).
+
+tuple_test() ->
+ gleam@expect:equal(gleam@any:tuple(gleam@any:from({1, []})),
+ {ok, {gleam@any:from(1), gleam@any:from([])}}),
+ gleam@expect:equal(gleam@any:tuple(gleam@any:from({<<"ok">>, <<"ok">>})),
+ {ok,
+ {gleam@any:from(<<"ok">>), gleam@any:from(<<"ok">>)}}),
+ gleam@expect:is_error(gleam@any:tuple(gleam@any:from({1}))),
+ gleam@expect:is_error(gleam@any:tuple(gleam@any:from({1, 2, 3}))),
+ gleam@expect:equal(gleam@result:then(gleam@result:then(gleam@any:tuple(gleam@any:from({1,
+ 2.0})),
+ fun(X) ->
+ gleam@result:map(gleam@any:int(gleam@tuple:first(X)),
+ fun(F) ->
+ {F,
+ gleam@tuple:second(X)}
+ end)
+ end),
+ fun(X) ->
+ gleam@result:map(gleam@any:float(gleam@tuple:second(X)),
+ fun(F) ->
+ {gleam@tuple:first(X),
+ F}
+ end)
+ end),
+ {ok, {1, 2.0}}).
+
+field_test() ->
+ {ok, OkAtom} = gleam@atom:from_string(<<"ok">>),
+ gleam@expect:equal(gleam@any:field(gleam@any:from(#{}#{ok => 1}), OkAtom),
+ {ok, gleam@any:from(1)}),
+ gleam@expect:equal(gleam@any:field(gleam@any:from(#{}#{ok => 3}#{earlier => 2}),
+ OkAtom),
+ {ok, gleam@any:from(3)}),
+ gleam@expect:is_error(gleam@any:field(gleam@any:from(#{}), OkAtom)),
+ gleam@expect:is_error(gleam@any:field(gleam@any:from(1), OkAtom)),
+ gleam@expect:is_error(gleam@any:field(gleam@any:from([]), [])).