-module(touch_grass@random).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).
-define(FILEPATH, "src/touch_grass/random.gleam").
-export([lift/0, lower/0, decode/1, encode/1, sync/1]).

-file("src/touch_grass/random.gleam", 8).
-spec lift() -> eyg@analysis@type_@isomorphic:type(any()).
lift() ->
    integer.

-file("src/touch_grass/random.gleam", 12).
-spec lower() -> eyg@analysis@type_@isomorphic:type(any()).
lower() ->
    integer.

-file("src/touch_grass/random.gleam", 16).
-spec decode(eyg@interpreter@value:value(OON, OOO)) -> {ok, integer()} |
    {error, eyg@interpreter@break:reason(OON, OOO)}.
decode(Lift) ->
    eyg@interpreter@cast:as_integer(Lift).

-file("src/touch_grass/random.gleam", 20).
-spec encode(integer()) -> eyg@interpreter@value:value(any(), any()).
encode(Number) ->
    {integer, Number}.

-file("src/touch_grass/random.gleam", 24).
-spec sync(integer()) -> integer().
sync(Max) ->
    gleam@int:random(Max).