-module(deriv@example@unify).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).

-export([authe_type_a/1, authe_type_b/1, suppress_option_warnings/0]).
-export_type([authe_tokens/0, authe_type_a/0, authe_type_b/0]).

-type authe_tokens() :: {authe, youid@uuid:uuid(), binary(), binary()}.

-type authe_type_a() :: {authe_type_a,
        youid@uuid:uuid(),
        binary(),
        binary(),
        youid@uuid:uuid(),
        youid@uuid:uuid(),
        binary(),
        gleam@option:option(binary()),
        gleam@option:option(binary()),
        binary(),
        binary()}.

-type authe_type_b() :: {authe_type_b,
        youid@uuid:uuid(),
        binary(),
        binary(),
        youid@uuid:uuid(),
        youid@uuid:uuid(),
        binary(),
        gleam@option:option(binary()),
        gleam@option:option(binary()),
        binary(),
        binary()}.

-file("src/deriv/example/unify.gleam", 19).
-spec authe_type_a(authe_type_a()) -> authe_tokens().
authe_type_a(Value) ->
    {authe,
        erlang:element(6, Value),
        erlang:element(10, Value),
        erlang:element(11, Value)}.

-file("src/deriv/example/unify.gleam", 27).
-spec authe_type_b(authe_type_b()) -> authe_tokens().
authe_type_b(Value) ->
    {authe,
        erlang:element(6, Value),
        erlang:element(10, Value),
        erlang:element(11, Value)}.

-file("src/deriv/example/unify.gleam", 35).
-spec suppress_option_warnings() -> list(gleam@option:option(nil)).
suppress_option_warnings() ->
    [none, {some, nil}].