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

-file("src/touch_grass/prompt.gleam", 7).
-spec lift() -> eyg@analysis@type_@isomorphic:type(any()).
lift() ->
    string.

-file("src/touch_grass/prompt.gleam", 11).
-spec lower() -> eyg@analysis@type_@isomorphic:type(any()).
lower() ->
    eyg@analysis@type_@isomorphic:result(string, {record, empty}).

-file("src/touch_grass/prompt.gleam", 15).
-spec decode(eyg@interpreter@value:value(NZX, NZY)) -> {ok, binary()} |
    {error, eyg@interpreter@break:reason(NZX, NZY)}.
decode(Lift) ->
    eyg@interpreter@cast:as_string(Lift).

-file("src/touch_grass/prompt.gleam", 19).
-spec encode({ok, binary()} | {error, nil}) -> eyg@interpreter@value:value(any(), any()).
encode(Result) ->
    case Result of
        {ok, Value} ->
            eyg@interpreter@value:ok({string, Value});

        {error, nil} ->
            eyg@interpreter@value:error(eyg@interpreter@value:unit())
    end.