Current section
Files
Jump to
Current section
Files
src/touch_grass@random.erl
-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(OBJ, OBK)) -> {ok, integer()} |
{error, eyg@interpreter@break:reason(OBJ, OBK)}.
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).