-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(NXJ, NXK)) -> {ok, nil} |
    {error, eyg@interpreter@break:reason(NXJ, NXK)}.
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).