Current section

Files

Jump to
gleam_stdlib src gleam@option.erl
Raw

src/gleam@option.erl

-module(gleam@option).
-compile(no_auto_import).
-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(AOF) :: {some, AOF} | none.
-spec all(list(option(AOG))) -> option(list(AOG)).
all(List) ->
gleam@list:fold_right(
List,
{some, []},
fun(Acc, Item) -> case {Acc, Item} of
{{some, Values}, {some, Value}} ->
{some, [Value | Values]};
{_@1, _@2} ->
none
end end
).
-spec is_some(option(any())) -> boolean().
is_some(Option) ->
Option /= none.
-spec is_none(option(any())) -> boolean().
is_none(Option) ->
Option =:= none.
-spec to_result(option(AOP), AOS) -> {ok, AOP} | {error, AOS}.
to_result(Option, E) ->
case Option of
{some, A} ->
{ok, A};
_@1 ->
{error, E}
end.
-spec from_result({ok, AOV} | {error, any()}) -> option(AOV).
from_result(Result) ->
case Result of
{ok, A} ->
{some, A};
_@1 ->
none
end.
-spec unwrap(option(APA), APA) -> APA.
unwrap(Option, Default) ->
case Option of
{some, X} ->
X;
none ->
Default
end.
-spec lazy_unwrap(option(APC), fun(() -> APC)) -> APC.
lazy_unwrap(Option, Default) ->
case Option of
{some, X} ->
X;
none ->
Default()
end.
-spec map(option(APE), fun((APE) -> APG)) -> option(APG).
map(Option, Fun) ->
case Option of
{some, X} ->
{some, Fun(X)};
none ->
none
end.
-spec flatten(option(option(API))) -> option(API).
flatten(Option) ->
case Option of
{some, X} ->
X;
none ->
none
end.
-spec then(option(APM), fun((APM) -> option(APO))) -> option(APO).
then(Option, Fun) ->
case Option of
{some, X} ->
Fun(X);
none ->
none
end.
-spec 'or'(option(APR), option(APR)) -> option(APR).
'or'(First, Second) ->
case First of
{some, _@1} ->
First;
none ->
Second
end.
-spec lazy_or(option(APV), fun(() -> option(APV))) -> option(APV).
lazy_or(First, Second) ->
case First of
{some, _@1} ->
First;
none ->
Second()
end.
-spec values(list(option(APZ))) -> list(APZ).
values(Options) ->
gleam@list:filter_map(Options, fun(Op) -> to_result(Op, <<""/utf8>>) end).