Current section

Files

Jump to
gleam_stdlib gen src gleam@dynamic.erl
Raw

gen/src/gleam@dynamic.erl

-module(gleam@dynamic).
-compile(no_auto_import).
-export([from/1, unsafe_coerce/1, bit_string/1, string/1, int/1, float/1, atom/1, bool/1, thunk/1, list/1, result/1, typed_result/3, typed_list/2, option/2, field/2, element/2, tuple2/1, typed_tuple2/3, tuple3/1, typed_tuple3/4, tuple4/1, typed_tuple4/5, tuple5/1, typed_tuple5/6, tuple6/1, typed_tuple6/7, map/1, any/2]).
-export_type([dynamic/0]).
-type dynamic() :: any().
-spec from(any()) -> dynamic().
from(A) ->
gleam_stdlib:identity(A).
-spec unsafe_coerce(dynamic()) -> any().
unsafe_coerce(A) ->
gleam_stdlib:identity(A).
-spec bit_string(dynamic()) -> {ok, bitstring()} | {error, binary()}.
bit_string(A) ->
gleam_stdlib:decode_bit_string(A).
-spec string(dynamic()) -> {ok, binary()} | {error, binary()}.
string(From) ->
gleam@result:then(
gleam_stdlib:decode_bit_string(From),
fun(Raw) -> case gleam@bit_string:to_string(Raw) of
{ok, String} ->
{ok, String};
{error, nil} ->
{error, <<"Expected a string, got a bit_string"/utf8>>}
end end
).
-spec int(dynamic()) -> {ok, integer()} | {error, binary()}.
int(A) ->
gleam_stdlib:decode_int(A).
-spec float(dynamic()) -> {ok, float()} | {error, binary()}.
float(A) ->
gleam_stdlib:decode_float(A).
-spec atom(dynamic()) -> {ok, gleam@atom:atom_()} | {error, binary()}.
atom(A) ->
gleam_stdlib:decode_atom(A).
-spec bool(dynamic()) -> {ok, boolean()} | {error, binary()}.
bool(A) ->
gleam_stdlib:decode_bool(A).
-spec thunk(dynamic()) -> {ok, fun(() -> dynamic())} | {error, binary()}.
thunk(A) ->
gleam_stdlib:decode_thunk(A).
-spec list(dynamic()) -> {ok, list(dynamic())} | {error, binary()}.
list(A) ->
gleam_stdlib:decode_list(A).
-spec result(dynamic()) -> {ok, {ok, dynamic()} | {error, dynamic()}} |
{error, binary()}.
result(From) ->
case gleam_stdlib:decode_tuple2(From) of
{error, Gleam@try_error} -> {error, Gleam@try_error};
{ok, {Key, Val}} ->
case gleam_stdlib:decode_atom(Key) of
{error, Gleam@try_error@1} -> {error, Gleam@try_error@1};
{ok, Tag} ->
Ok_atom = gleam@atom:create_from_string(<<"ok"/utf8>>),
Error_atom = gleam@atom:create_from_string(<<"error"/utf8>>),
case Tag of
Tag@1 when Tag@1 =:= Ok_atom ->
{ok, {ok, Val}};
Tag@2 when Tag@2 =:= Error_atom ->
{ok, {error, Val}};
Tag@3 ->
{error,
gleam@string_builder:to_string(
gleam@string_builder:append(
gleam@string_builder:append(
gleam@string_builder:from_string(
<<"Expected a tag of \"ok\" or \"error\", got \""/utf8>>
),
gleam@atom:to_string(Tag@3)
),
<<"\""/utf8>>
)
)}
end
end
end.
-spec typed_result(
dynamic(),
fun((dynamic()) -> {ok, FCT} | {error, binary()}),
fun((dynamic()) -> {ok, FCV} | {error, binary()})
) -> {ok, {ok, FCT} | {error, FCV}} | {error, binary()}.
typed_result(Dynamic, Decode_ok, Decode_error) ->
case result(Dynamic) of
{error, Gleam@try_error} -> {error, Gleam@try_error};
{ok, Inner_result} ->
case Inner_result of
{ok, Raw} ->
gleam@result:map(Decode_ok(Raw), fun(A) -> {ok, A} end);
{error, Raw@1} ->
gleam@result:map(
Decode_error(Raw@1),
fun(A) -> {error, A} end
)
end
end.
-spec typed_list(dynamic(), fun((dynamic()) -> {ok, FDB} | {error, binary()})) -> {ok,
list(FDB)} |
{error, binary()}.
typed_list(Dynamic, Decoder_type) ->
gleam@result:then(
gleam_stdlib:decode_list(Dynamic),
fun(_gleam_capture) ->
gleam@list:try_map(_gleam_capture, Decoder_type)
end
).
-spec option(dynamic(), fun((dynamic()) -> {ok, FDH} | {error, binary()})) -> {ok,
gleam@option:option(FDH)} |
{error, binary()}.
option(Dynamic, Decoder) ->
{ok, Null} = gleam@atom:from_string(<<"null"/utf8>>),
case {gleam_stdlib:decode_atom(Dynamic), Decoder(Dynamic)} of
{{ok, Atom}, _} when Atom =:= Null ->
{ok, none};
{_, {ok, Result}} ->
{ok, {some, Result}};
{_, {error, Msg}} ->
{error, Msg}
end.
-spec field(dynamic(), any()) -> {ok, dynamic()} | {error, binary()}.
field(A, B) ->
gleam_stdlib:decode_field(A, B).
-spec element(dynamic(), integer()) -> {ok, dynamic()} | {error, binary()}.
element(A, B) ->
gleam_stdlib:decode_element(A, B).
-spec tuple2(dynamic()) -> {ok, {dynamic(), dynamic()}} | {error, binary()}.
tuple2(A) ->
gleam_stdlib:decode_tuple2(A).
-spec typed_tuple2(
dynamic(),
fun((dynamic()) -> {ok, FDT} | {error, binary()}),
fun((dynamic()) -> {ok, FDV} | {error, binary()})
) -> {ok, {FDT, FDV}} | {error, binary()}.
typed_tuple2(Tup, Decode_first, Decode_second) ->
case gleam_stdlib:decode_tuple2(Tup) of
{error, Gleam@try_error} -> {error, Gleam@try_error};
{ok, {First, Second}} ->
case Decode_first(First) of
{error, Gleam@try_error@1} -> {error, Gleam@try_error@1};
{ok, A} ->
case Decode_second(Second) of
{error, Gleam@try_error@2} -> {error, Gleam@try_error@2};
{ok, B} ->
{ok, {A, B}}
end
end
end.
-spec tuple3(dynamic()) -> {ok, {dynamic(), dynamic(), dynamic()}} |
{error, binary()}.
tuple3(A) ->
gleam_stdlib:decode_tuple3(A).
-spec typed_tuple3(
dynamic(),
fun((dynamic()) -> {ok, FEB} | {error, binary()}),
fun((dynamic()) -> {ok, FED} | {error, binary()}),
fun((dynamic()) -> {ok, FEF} | {error, binary()})
) -> {ok, {FEB, FED, FEF}} | {error, binary()}.
typed_tuple3(Tup, Decode_first, Decode_second, Decode_third) ->
case gleam_stdlib:decode_tuple3(Tup) of
{error, Gleam@try_error} -> {error, Gleam@try_error};
{ok, {First, Second, Third}} ->
case Decode_first(First) of
{error, Gleam@try_error@1} -> {error, Gleam@try_error@1};
{ok, A} ->
case Decode_second(Second) of
{error, Gleam@try_error@2} -> {error, Gleam@try_error@2};
{ok, B} ->
case Decode_third(Third) of
{error, Gleam@try_error@3} -> {error, Gleam@try_error@3};
{ok, C} ->
{ok, {A, B, C}}
end
end
end
end.
-spec tuple4(dynamic()) -> {ok, {dynamic(), dynamic(), dynamic(), dynamic()}} |
{error, binary()}.
tuple4(A) ->
gleam_stdlib:decode_tuple4(A).
-spec typed_tuple4(
dynamic(),
fun((dynamic()) -> {ok, FEL} | {error, binary()}),
fun((dynamic()) -> {ok, FEN} | {error, binary()}),
fun((dynamic()) -> {ok, FEP} | {error, binary()}),
fun((dynamic()) -> {ok, FER} | {error, binary()})
) -> {ok, {FEL, FEN, FEP, FER}} | {error, binary()}.
typed_tuple4(Tup, Decode_first, Decode_second, Decode_third, Decode_fourth) ->
case gleam_stdlib:decode_tuple4(Tup) of
{error, Gleam@try_error} -> {error, Gleam@try_error};
{ok, {First, Second, Third, Fourth}} ->
case Decode_first(First) of
{error, Gleam@try_error@1} -> {error, Gleam@try_error@1};
{ok, A} ->
case Decode_second(Second) of
{error, Gleam@try_error@2} -> {error, Gleam@try_error@2};
{ok, B} ->
case Decode_third(Third) of
{error, Gleam@try_error@3} -> {error, Gleam@try_error@3};
{ok, C} ->
case Decode_fourth(Fourth) of
{error, Gleam@try_error@4} -> {error, Gleam@try_error@4};
{ok, D} ->
{ok, {A, B, C, D}}
end
end
end
end
end.
-spec tuple5(dynamic()) -> {ok,
{dynamic(),
dynamic(),
dynamic(),
dynamic(),
dynamic()}} |
{error, binary()}.
tuple5(A) ->
gleam_stdlib:decode_tuple5(A).
-spec typed_tuple5(
dynamic(),
fun((dynamic()) -> {ok, FEX} | {error, binary()}),
fun((dynamic()) -> {ok, FEZ} | {error, binary()}),
fun((dynamic()) -> {ok, FFB} | {error, binary()}),
fun((dynamic()) -> {ok, FFD} | {error, binary()}),
fun((dynamic()) -> {ok, FFF} | {error, binary()})
) -> {ok, {FEX, FEZ, FFB, FFD, FFF}} | {error, binary()}.
typed_tuple5(
Tup,
Decode_first,
Decode_second,
Decode_third,
Decode_fourth,
Decode_fifth
) ->
case gleam_stdlib:decode_tuple5(Tup) of
{error, Gleam@try_error} -> {error, Gleam@try_error};
{ok, {First, Second, Third, Fourth, Fifth}} ->
case Decode_first(First) of
{error, Gleam@try_error@1} -> {error, Gleam@try_error@1};
{ok, A} ->
case Decode_second(Second) of
{error, Gleam@try_error@2} -> {error, Gleam@try_error@2};
{ok, B} ->
case Decode_third(Third) of
{error, Gleam@try_error@3} -> {error, Gleam@try_error@3};
{ok, C} ->
case Decode_fourth(Fourth) of
{error, Gleam@try_error@4} -> {error, Gleam@try_error@4};
{ok, D} ->
case Decode_fifth(Fifth) of
{error, Gleam@try_error@5} -> {error, Gleam@try_error@5};
{ok, E} ->
{ok, {A, B, C, D, E}}
end
end
end
end
end
end.
-spec tuple6(dynamic()) -> {ok,
{dynamic(),
dynamic(),
dynamic(),
dynamic(),
dynamic(),
dynamic()}} |
{error, binary()}.
tuple6(A) ->
gleam_stdlib:decode_tuple6(A).
-spec typed_tuple6(
dynamic(),
fun((dynamic()) -> {ok, FFL} | {error, binary()}),
fun((dynamic()) -> {ok, FFN} | {error, binary()}),
fun((dynamic()) -> {ok, FFP} | {error, binary()}),
fun((dynamic()) -> {ok, FFR} | {error, binary()}),
fun((dynamic()) -> {ok, FFT} | {error, binary()}),
fun((dynamic()) -> {ok, FFV} | {error, binary()})
) -> {ok, {FFL, FFN, FFP, FFR, FFT, FFV}} | {error, binary()}.
typed_tuple6(
Tup,
Decode_first,
Decode_second,
Decode_third,
Decode_fourth,
Decode_fifth,
Decode_sixth
) ->
case gleam_stdlib:decode_tuple6(Tup) of
{error, Gleam@try_error} -> {error, Gleam@try_error};
{ok, {First, Second, Third, Fourth, Fifth, Sixth}} ->
case Decode_first(First) of
{error, Gleam@try_error@1} -> {error, Gleam@try_error@1};
{ok, A} ->
case Decode_second(Second) of
{error, Gleam@try_error@2} -> {error, Gleam@try_error@2};
{ok, B} ->
case Decode_third(Third) of
{error, Gleam@try_error@3} -> {error, Gleam@try_error@3};
{ok, C} ->
case Decode_fourth(Fourth) of
{error, Gleam@try_error@4} -> {error, Gleam@try_error@4};
{ok, D} ->
case Decode_fifth(Fifth) of
{error, Gleam@try_error@5} -> {error, Gleam@try_error@5};
{ok, E} ->
case Decode_sixth(Sixth) of
{error, Gleam@try_error@6} -> {error, Gleam@try_error@6};
{ok, F} ->
{ok,
{A, B, C, D, E, F}}
end
end
end
end
end
end
end.
-spec map(dynamic()) -> {ok, gleam@map:map_(dynamic(), dynamic())} |
{error, binary()}.
map(A) ->
gleam_stdlib:decode_map(A).
-spec any(dynamic(), list(fun((dynamic()) -> {ok, FGD} | {error, binary()}))) -> {ok,
FGD} |
{error, binary()}.
any(Data, Decoders) ->
gleam@result:map_error(
gleam@list:find_map(Decoders, fun(Decoder) -> Decoder(Data) end),
fun(_) -> <<"Unexpected value"/utf8>> end
).