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

-file("src/touch_grass/visit.gleam", 7).
-spec lift() -> eyg@analysis@type_@isomorphic:type(integer()).
lift() ->
    touch_grass@uri:uri().

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

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

        {error, Reason} ->
            eyg@interpreter@value:error({string, Reason})
    end.