-module(girard@internal@prelude).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).
-define(FILEPATH, "src/girard/internal/prelude.gleam").
-export([int/0, float/0, string/0, bool/0, nil/0, list/1, result/2, bit_array/0, utf_codepoint/0]).

-if(?OTP_RELEASE >= 27).
-define(MODULEDOC(Str), -moduledoc(Str)).
-define(DOC(Str), -doc(Str)).
-else.
-define(MODULEDOC(Str), -compile([])).
-define(DOC(Str), -compile([])).
-endif.

?MODULEDOC(false).

-file("src/girard/internal/prelude.gleam", 10).
?DOC(false).
-spec int() -> girard@types:type().
int() ->
    {named, <<"gleam"/utf8>>, <<"Int"/utf8>>, []}.

-file("src/girard/internal/prelude.gleam", 14).
?DOC(false).
-spec float() -> girard@types:type().
float() ->
    {named, <<"gleam"/utf8>>, <<"Float"/utf8>>, []}.

-file("src/girard/internal/prelude.gleam", 18).
?DOC(false).
-spec string() -> girard@types:type().
string() ->
    {named, <<"gleam"/utf8>>, <<"String"/utf8>>, []}.

-file("src/girard/internal/prelude.gleam", 22).
?DOC(false).
-spec bool() -> girard@types:type().
bool() ->
    {named, <<"gleam"/utf8>>, <<"Bool"/utf8>>, []}.

-file("src/girard/internal/prelude.gleam", 26).
?DOC(false).
-spec nil() -> girard@types:type().
nil() ->
    {named, <<"gleam"/utf8>>, <<"Nil"/utf8>>, []}.

-file("src/girard/internal/prelude.gleam", 30).
?DOC(false).
-spec list(girard@types:type()) -> girard@types:type().
list(Element) ->
    {named, <<"gleam"/utf8>>, <<"List"/utf8>>, [Element]}.

-file("src/girard/internal/prelude.gleam", 34).
?DOC(false).
-spec result(girard@types:type(), girard@types:type()) -> girard@types:type().
result(Ok, Error) ->
    {named, <<"gleam"/utf8>>, <<"Result"/utf8>>, [Ok, Error]}.

-file("src/girard/internal/prelude.gleam", 38).
?DOC(false).
-spec bit_array() -> girard@types:type().
bit_array() ->
    {named, <<"gleam"/utf8>>, <<"BitArray"/utf8>>, []}.

-file("src/girard/internal/prelude.gleam", 42).
?DOC(false).
-spec utf_codepoint() -> girard@types:type().
utf_codepoint() ->
    {named, <<"gleam"/utf8>>, <<"UtfCodepoint"/utf8>>, []}.