Current section

Files

Jump to
gleam_stdlib src gleam@option.erl
Raw

src/gleam@option.erl

-module(gleam@option).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).
-export([all/1, is_some/1, is_none/1, to_result/2, from_result/1, unwrap/2, lazy_unwrap/2, map/2, flatten/1, then/2, 'or'/2, lazy_or/2, values/1]).
-export_type([option/1]).
-type option(FQ) :: {some, FQ} | none.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 44).
-spec all_loop(list(option(FW)), list(FW)) -> option(list(FW)).
all_loop(List, Acc) ->
case List of
[] ->
{some, Acc};
[X | Rest] ->
Accumulate = fun(Acc@1, Item) -> case {Acc@1, Item} of
{{some, Values}, {some, Value}} ->
{some, [Value | Values]};
{_, _} ->
none
end end,
Accumulate(all_loop(Rest, Acc), X)
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 40).
-spec all(list(option(FR))) -> option(list(FR)).
all(List) ->
all_loop(List, []).
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 73).
-spec is_some(option(any())) -> boolean().
is_some(Option) ->
Option /= none.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 91).
-spec is_none(option(any())) -> boolean().
is_none(Option) ->
Option =:= none.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 109).
-spec to_result(option(GG), GJ) -> {ok, GG} | {error, GJ}.
to_result(Option, E) ->
case Option of
{some, A} ->
{ok, A};
_ ->
{error, E}
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 130).
-spec from_result({ok, GM} | {error, any()}) -> option(GM).
from_result(Result) ->
case Result of
{ok, A} ->
{some, A};
_ ->
none
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 151).
-spec unwrap(option(GR), GR) -> GR.
unwrap(Option, Default) ->
case Option of
{some, X} ->
X;
none ->
Default
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 172).
-spec lazy_unwrap(option(GT), fun(() -> GT)) -> GT.
lazy_unwrap(Option, Default) ->
case Option of
{some, X} ->
X;
none ->
Default()
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 197).
-spec map(option(GV), fun((GV) -> GX)) -> option(GX).
map(Option, Fun) ->
case Option of
{some, X} ->
{some, Fun(X)};
none ->
none
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 223).
-spec flatten(option(option(GZ))) -> option(GZ).
flatten(Option) ->
case Option of
{some, X} ->
X;
none ->
none
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 262).
-spec then(option(HD), fun((HD) -> option(HF))) -> option(HF).
then(Option, Fun) ->
case Option of
{some, X} ->
Fun(X);
none ->
none
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 293).
-spec 'or'(option(HI), option(HI)) -> option(HI).
'or'(First, Second) ->
case First of
{some, _} ->
First;
none ->
Second
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 324).
-spec lazy_or(option(HM), fun(() -> option(HM))) -> option(HM).
lazy_or(First, Second) ->
case First of
{some, _} ->
First;
none ->
Second()
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 345).
-spec values_loop(list(option(HU)), list(HU)) -> list(HU).
values_loop(List, Acc) ->
case List of
[] ->
Acc;
[First | Rest] ->
Accumulate = fun(Acc@1, Item) -> case Item of
{some, Value} ->
[Value | Acc@1];
none ->
Acc@1
end end,
Accumulate(values_loop(Rest, Acc), First)
end.
-file("/Users/louis/src/gleam/stdlib/src/gleam/option.gleam", 341).
-spec values(list(option(HQ))) -> list(HQ).
values(Options) ->
values_loop(Options, []).