Current section

Files

Jump to
deriv src deriv@example@unify.erl
Raw

src/deriv@example@unify.erl

-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}].