Current section

Files

Jump to
touch_grass src touch_grass@flip.erl
Raw

src/touch_grass@flip.erl

-module(touch_grass@flip).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).
-define(FILEPATH, "src/touch_grass/flip.gleam").
-export([lift/0, lower/0, decode/1, encode/1, sync/0]).
-file("src/touch_grass/flip.gleam", 8).
-spec lift() -> eyg@analysis@type_@isomorphic:type(any()).
lift() ->
{record, empty}.
-file("src/touch_grass/flip.gleam", 12).
-spec lower() -> eyg@analysis@type_@isomorphic:type(any()).
lower() ->
{union,
{row_extend,
<<"True"/utf8>>,
{record, empty},
{row_extend, <<"False"/utf8>>, {record, empty}, empty}}}.
-file("src/touch_grass/flip.gleam", 16).
-spec decode(eyg@interpreter@value:value(PHD, PHE)) -> {ok, nil} |
{error, eyg@interpreter@break:reason(PHD, PHE)}.
decode(Input) ->
eyg@interpreter@cast:as_unit(Input, nil).
-file("src/touch_grass/flip.gleam", 20).
-spec encode(boolean()) -> eyg@interpreter@value:value(any(), any()).
encode(Value) ->
eyg@interpreter@value:bool(Value).
-file("src/touch_grass/flip.gleam", 24).
-spec sync() -> boolean().
sync() ->
_pipe = gleam@int:random(2),
gleam@int:is_even(_pipe).