-module(caffeine_lang@frontend@parser). -compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]). -define(FILEPATH, "src/caffeine_lang/frontend/parser.gleam"). -export([parse_blueprints_file/1, parse_expects_file/1]). -export_type([parser_state/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. -type parser_state() :: {parser_state, list(caffeine_lang@frontend@token:positioned_token()), integer(), integer(), integer(), integer()}. -file("src/caffeine_lang/frontend/parser.gleam", 87). ?DOC(" Filter out whitespace tokens (keep comments in stream).\n"). -spec filter_whitespace(list(caffeine_lang@frontend@token:positioned_token())) -> list(caffeine_lang@frontend@token:positioned_token()). filter_whitespace(Tokens) -> gleam@list:filter(Tokens, fun(Ptok) -> case Ptok of {positioned_token, whitespace_newline, _, _} -> false; {positioned_token, {whitespace_indent, _}, _, _} -> false; _ -> true end end). -file("src/caffeine_lang/frontend/parser.gleam", 116). ?DOC(" Initialize parser state from a list of positioned tokens.\n"). -spec init_state(list(caffeine_lang@frontend@token:positioned_token())) -> parser_state(). init_state(Tokens) -> case Tokens of [{positioned_token, _, Line, Column} | _] -> {parser_state, Tokens, Line, Column, Line, Column}; [] -> {parser_state, Tokens, 1, 1, 1, 1} end. -file("src/caffeine_lang/frontend/parser.gleam", 125). ?DOC(" Peek at the current token without consuming it.\n"). -spec peek(parser_state()) -> caffeine_lang@frontend@token:token(). peek(State) -> case erlang:element(2, State) of [{positioned_token, Tok, _, _} | _] -> Tok; [] -> e_o_f end. -file("src/caffeine_lang/frontend/parser.gleam", 133). ?DOC(" Consume current token and advance state.\n"). -spec advance(parser_state()) -> parser_state(). advance(State) -> case erlang:element(2, State) of [_ | Rest] -> case Rest of [{positioned_token, _, Line, Column} | _] -> {parser_state, Rest, Line, Column, erlang:element(3, State), erlang:element(4, State)}; [] -> {parser_state, Rest, erlang:element(3, State), erlang:element(4, State), erlang:element(3, State), erlang:element(4, State)} end; [] -> State end. -file("src/caffeine_lang/frontend/parser.gleam", 102). -spec consume_comments_loop( parser_state(), list(caffeine_lang@frontend@ast:comment()) ) -> {list(caffeine_lang@frontend@ast:comment()), parser_state()}. consume_comments_loop(State, Acc) -> case peek(State) of {comment_line, Text} -> consume_comments_loop(advance(State), [{line_comment, Text} | Acc]); {comment_section, Text@1} -> consume_comments_loop( advance(State), [{section_comment, Text@1} | Acc] ); _ -> {lists:reverse(Acc), State} end. -file("src/caffeine_lang/frontend/parser.gleam", 98). ?DOC(" Consume consecutive comment tokens from the stream, returning them as Comment list.\n"). -spec consume_comments(parser_state()) -> {list(caffeine_lang@frontend@ast:comment()), parser_state()}. consume_comments(State) -> consume_comments_loop(State, []). -file("src/caffeine_lang/frontend/parser.gleam", 158). ?DOC(" Expect a specific token, consuming it if matched.\n"). -spec expect(parser_state(), caffeine_lang@frontend@token:token(), binary()) -> {ok, parser_state()} | {error, caffeine_lang@frontend@parser_error:parser_error()}. expect(State, Expected, Expected_name) -> case peek(State) of Tok when Tok =:= Expected -> {ok, advance(State)}; Tok@1 -> {error, {unexpected_token, Expected_name, caffeine_lang@frontend@token:to_string(Tok@1), erlang:element(5, State), erlang:element(6, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 215). ?DOC( " Check if current position is a type alias definition.\n" " Looks for pattern: Identifier ( KeywordType )\n" ). -spec is_type_alias(parser_state()) -> boolean(). is_type_alias(State) -> case erlang:element(2, State) of [{positioned_token, {identifier, _}, _, _}, {positioned_token, symbol_left_paren, _, _}, {positioned_token, keyword_type, _, _} | _] -> true; _ -> false end. -file("src/caffeine_lang/frontend/parser.gleam", 315). -spec parse_extendable_kind(parser_state()) -> {ok, {caffeine_lang@frontend@ast:extendable_kind(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_extendable_kind(State) -> case peek(State) of keyword_requires -> {ok, {extendable_requires, advance(State)}}; keyword_provides -> {ok, {extendable_provides, advance(State)}}; Tok -> {error, {unexpected_token, <<"Type, Requires, or Provides"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 430). ?DOC(" Resolves an artifact name string to a ParsedArtifactRef.\n"). -spec resolve_artifact_ref(binary(), parser_state()) -> {ok, caffeine_lang@frontend@ast:parsed_artifact_ref()} | {error, caffeine_lang@frontend@parser_error:parser_error()}. resolve_artifact_ref(Name, State) -> case Name of <<"SLO"/utf8>> -> {ok, parsed_s_l_o}; <<"DependencyRelations"/utf8>> -> {ok, parsed_dependency_relations}; _ -> {error, {unexpected_token, <<"\"SLO\" or \"DependencyRelations\""/utf8>>, <<<<"\""/utf8, Name/binary>>/binary, "\""/utf8>>, erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 403). -spec parse_artifacts_loop( parser_state(), list(caffeine_lang@frontend@ast:parsed_artifact_ref()) ) -> {ok, {list(caffeine_lang@frontend@ast:parsed_artifact_ref()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_artifacts_loop(State, Acc) -> case peek(State) of symbol_plus -> State@1 = advance(State), case peek(State@1) of {literal_string, Name} -> gleam@result:'try'( resolve_artifact_ref(Name, State@1), fun(Ref) -> State@2 = advance(State@1), parse_artifacts_loop(State@2, [Ref | Acc]) end ); Tok -> {error, {unexpected_token, <<"artifact name"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State@1), erlang:element(4, State@1)}} end; _ -> {ok, {lists:reverse(Acc), State}} end. -file("src/caffeine_lang/frontend/parser.gleam", 384). -spec parse_artifacts(parser_state()) -> {ok, {list(caffeine_lang@frontend@ast:parsed_artifact_ref()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_artifacts(State) -> case peek(State) of {literal_string, Name} -> gleam@result:'try'( resolve_artifact_ref(Name, State), fun(Ref) -> State@1 = advance(State), parse_artifacts_loop(State@1, [Ref]) end ); Tok -> {error, {unexpected_token, <<"artifact name"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 590). -spec parse_string_literal(parser_state()) -> {ok, {binary(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_string_literal(State) -> case peek(State) of {literal_string, S} -> {ok, {S, advance(State)}}; Tok -> {error, {unexpected_token, <<"string"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 639). -spec parse_extends_list_loop(parser_state(), list(binary())) -> {ok, {list(binary()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_extends_list_loop(State, Acc) -> case peek(State) of symbol_comma -> State@1 = advance(State), case peek(State@1) of {identifier, Name} -> State@2 = advance(State@1), parse_extends_list_loop(State@2, [Name | Acc]); Tok -> {error, {unexpected_token, <<"identifier"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State@1), erlang:element(4, State@1)}} end; _ -> {ok, {lists:reverse(Acc), State}} end. -file("src/caffeine_lang/frontend/parser.gleam", 620). -spec parse_extends_list(parser_state()) -> {ok, {list(binary()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_extends_list(State) -> case peek(State) of symbol_right_bracket -> {ok, {[], State}}; {identifier, Name} -> State@1 = advance(State), parse_extends_list_loop(State@1, [Name]); Tok -> {error, {unexpected_token, <<"identifier"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 605). -spec parse_optional_extends(parser_state()) -> {ok, {list(binary()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_optional_extends(State) -> case peek(State) of keyword_extends -> State@1 = advance(State), gleam@result:'try'( expect(State@1, symbol_left_bracket, <<"["/utf8>>), fun(State@2) -> gleam@result:'try'( parse_extends_list(State@2), fun(_use0) -> {Extends, State@3} = _use0, gleam@result:'try'( expect( State@3, symbol_right_bracket, <<"]"/utf8>> ), fun(State@4) -> {ok, {Extends, State@4}} end ) end ) end ); _ -> {ok, {[], State}} end. -file("src/caffeine_lang/frontend/parser.gleam", 761). -spec parse_field( parser_state(), list(caffeine_lang@frontend@ast:comment()), fun((parser_state()) -> {ok, {caffeine_lang@frontend@ast:value(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}) ) -> {ok, {caffeine_lang@frontend@ast:field(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_field(State, Leading_comments, Parse_value) -> case peek(State) of {identifier, Name} -> State@1 = advance(State), gleam@result:'try'( expect(State@1, symbol_colon, <<":"/utf8>>), fun(State@2) -> gleam@result:'try'( Parse_value(State@2), fun(_use0) -> {Value, State@3} = _use0, {ok, {{field, Name, Value, Leading_comments}, State@3}} end ) end ); {literal_string, Name@1} -> {error, {quoted_field_name, Name@1, erlang:element(3, State), erlang:element(4, State)}}; Tok -> {error, {unexpected_token, <<"field name"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 733). -spec parse_fields_loop( parser_state(), list(caffeine_lang@frontend@ast:field()), list(caffeine_lang@frontend@ast:comment()), fun((parser_state()) -> {ok, {caffeine_lang@frontend@ast:value(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}) ) -> {ok, {list(caffeine_lang@frontend@ast:field()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_fields_loop(State, Acc, Pending, Parse_value) -> case peek(State) of symbol_comma -> State@1 = advance(State), {Next_pending, State@2} = consume_comments(State@1), case peek(State@2) of symbol_right_brace -> {ok, {lists:reverse(Acc), Next_pending, State@2}}; _ -> gleam@result:'try'( parse_field(State@2, Next_pending, Parse_value), fun(_use0) -> {Field, State@3} = _use0, {Next_pending@1, State@4} = consume_comments( State@3 ), parse_fields_loop( State@4, [Field | Acc], Next_pending@1, Parse_value ) end ) end; _ -> {ok, {lists:reverse(Acc), Pending, State}} end. -file("src/caffeine_lang/frontend/parser.gleam", 708). -spec parse_fields( parser_state(), list(caffeine_lang@frontend@ast:comment()), fun((parser_state()) -> {ok, {caffeine_lang@frontend@ast:value(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}) ) -> {ok, {list(caffeine_lang@frontend@ast:field()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_fields(State, Pending, Parse_value) -> case peek(State) of symbol_right_brace -> {ok, {[], Pending, State}}; {identifier, _} -> gleam@result:'try'( parse_field(State, Pending, Parse_value), fun(_use0) -> {Field, State@1} = _use0, {Next_pending, State@2} = consume_comments(State@1), parse_fields_loop( State@2, [Field], Next_pending, Parse_value ) end ); {literal_string, Name} -> {error, {quoted_field_name, Name, erlang:element(3, State), erlang:element(4, State)}}; Tok -> {error, {unexpected_token, <<"field name or }"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 693). ?DOC(" Generic struct parser parameterized by field value parser.\n"). -spec parse_struct( parser_state(), fun((parser_state()) -> {ok, {caffeine_lang@frontend@ast:value(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}) ) -> {ok, {caffeine_lang@frontend@ast:struct(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_struct(State, Parse_value) -> gleam@result:'try'( expect(State, symbol_left_brace, <<"{"/utf8>>), fun(State@1) -> {Pending, State@2} = consume_comments(State@1), gleam@result:'try'( parse_fields(State@2, Pending, Parse_value), fun(_use0) -> {Fields, Trailing_comments, State@3} = _use0, gleam@result:'try'( expect(State@3, symbol_right_brace, <<"}"/utf8>>), fun(State@4) -> {ok, {{struct, Fields, Trailing_comments}, State@4}} end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 928). ?DOC( " Parses types valid as Dict keys: String primitive or type alias ref.\n" " Only String is allowed as a primitive key (JSON keys must be strings).\n" ). -spec parse_dict_key_type(parser_state()) -> {ok, {caffeine_lang@types:parsed_type(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_dict_key_type(State) -> case peek(State) of keyword_string -> State@1 = advance(State), {ok, {{parsed_primitive, string}, State@1}}; {identifier, Name} -> case gleam_stdlib:string_starts_with(Name, <<"_"/utf8>>) of true -> State@2 = advance(State), {ok, {{parsed_type_alias_ref, Name}, State@2}}; false -> {error, {unknown_type, Name, erlang:element(3, State), erlang:element(4, State)}} end; Tok -> {error, {unknown_type, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 1071). -spec expect_x(parser_state()) -> {ok, parser_state()} | {error, caffeine_lang@frontend@parser_error:parser_error()}. expect_x(State) -> case peek(State) of keyword_x -> {ok, advance(State)}; Tok -> {error, {invalid_refinement, <<"expected 'x', got "/utf8, (caffeine_lang@frontend@token:to_string(Tok))/binary>>, erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 1206). ?DOC(" Convert a Literal to its string representation for use in refinements/defaults.\n"). -spec literal_to_string(caffeine_lang@frontend@ast:literal()) -> binary(). literal_to_string(Literal) -> case Literal of {literal_string, S} -> S; {literal_integer, N} -> erlang:integer_to_binary(N); {literal_float, F} -> gleam_stdlib:float_to_string(F); literal_true -> <<"True"/utf8>>; literal_false -> <<"False"/utf8>>; {literal_list, _} -> <<"[]"/utf8>>; {literal_struct, _, _} -> <<"{}"/utf8>> end. -file("src/caffeine_lang/frontend/parser.gleam", 1245). ?DOC(" Checks if a literal value is compatible with the declared primitive type.\n"). -spec literal_matches_primitive( caffeine_lang@frontend@ast:literal(), caffeine_lang@types:primitive_types() ) -> boolean(). literal_matches_primitive(Literal, Primitive) -> case {Primitive, Literal} of {string, {literal_string, _}} -> true; {{numeric_type, integer}, {literal_integer, _}} -> true; {{numeric_type, float}, {literal_float, _}} -> true; {boolean, literal_true} -> true; {boolean, literal_false} -> true; {{semantic_type, _}, {literal_string, _}} -> true; {_, _} -> false end. -file("src/caffeine_lang/frontend/parser.gleam", 1219). ?DOC(" Validates that all literals in a OneOf set match the declared primitive type.\n"). -spec validate_oneof_literals( list(caffeine_lang@frontend@ast:literal()), caffeine_lang@types:primitive_types(), parser_state() ) -> {ok, nil} | {error, caffeine_lang@frontend@parser_error:parser_error()}. validate_oneof_literals(Literals, Primitive, State) -> case Literals of [] -> {ok, nil}; [First | Rest] -> case literal_matches_primitive(First, Primitive) of true -> validate_oneof_literals(Rest, Primitive, State); false -> {error, {invalid_refinement, <<<<<<<<"value '"/utf8, (literal_to_string(First))/binary>>/binary, "' is not a valid "/utf8>>/binary, (caffeine_lang@types:primitive_type_to_string( Primitive ))/binary>>/binary, " literal"/utf8>>, erlang:element(3, State), erlang:element(4, State)}} end end. -file("src/caffeine_lang/frontend/parser.gleam", 1261). ?DOC(" Extracts the primitive type from a ParsedType, unwrapping Defaulted modifiers.\n"). -spec extract_primitive_from_parsed(caffeine_lang@types:parsed_type()) -> {ok, caffeine_lang@types:primitive_types()} | {error, nil}. extract_primitive_from_parsed(Typ) -> case Typ of {parsed_primitive, Primitive} -> {ok, Primitive}; {parsed_modifier, {defaulted, Inner, _}} -> extract_primitive_from_parsed(Inner); _ -> {error, nil} end. -file("src/caffeine_lang/frontend/parser.gleam", 673). ?DOC(" Parses a struct with typed fields (for Requires blocks).\n"). -spec parse_type_struct(parser_state()) -> {ok, {caffeine_lang@frontend@ast:struct(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_type_struct(State) -> parse_struct( State, fun(S) -> gleam@result:'try'( parse_type(S), fun(_use0) -> {Type_, S@1} = _use0, {ok, {{type_value, Type_}, S@1}} end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 790). -spec parse_type(parser_state()) -> {ok, {caffeine_lang@types:parsed_type(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_type(State) -> case peek(State) of keyword_string -> parse_type_with_refinement(State, string); keyword_integer -> parse_type_with_refinement(State, {numeric_type, integer}); keyword_float -> parse_type_with_refinement(State, {numeric_type, float}); keyword_boolean -> parse_type_with_refinement(State, boolean); keyword_u_r_l -> parse_type_with_refinement(State, {semantic_type, u_r_l}); keyword_list -> parse_list_type(State); keyword_dict -> parse_dict_type(State); keyword_optional -> parse_optional_type(State); keyword_defaulted -> parse_defaulted_type(State); symbol_left_brace -> parse_record_type(State); {identifier, Name} -> case gleam_stdlib:string_starts_with(Name, <<"_"/utf8>>) of true -> State@1 = advance(State), {ok, {{parsed_type_alias_ref, Name}, State@1}}; false -> {error, {unknown_type, Name, erlang:element(3, State), erlang:element(4, State)}} end; Tok -> {error, {unknown_type, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 912). -spec parse_dict_type(parser_state()) -> {ok, {caffeine_lang@types:parsed_type(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_dict_type(State) -> State@1 = advance(State), gleam@result:'try'( expect(State@1, symbol_left_paren, <<"("/utf8>>), fun(State@2) -> gleam@result:'try'( parse_dict_key_type(State@2), fun(_use0) -> {Key, State@3} = _use0, gleam@result:'try'( expect(State@3, symbol_comma, <<","/utf8>>), fun(State@4) -> gleam@result:'try'( parse_collection_inner_type(State@4), fun(_use0@1) -> {Value, State@5} = _use0@1, gleam@result:'try'( expect( State@5, symbol_right_paren, <<")"/utf8>> ), fun(State@6) -> {ok, {{parsed_collection, {dict, Key, Value}}, State@6}} end ) end ) end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 856). ?DOC( " Parses types valid inside collections: primitives, nested collections, or type alias refs.\n" " Does not allow modifiers (Optional/Defaulted) or refinements directly.\n" ). -spec parse_collection_inner_type(parser_state()) -> {ok, {caffeine_lang@types:parsed_type(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_collection_inner_type(State) -> case peek(State) of keyword_string -> State@1 = advance(State), {ok, {{parsed_primitive, string}, State@1}}; keyword_integer -> State@2 = advance(State), {ok, {{parsed_primitive, {numeric_type, integer}}, State@2}}; keyword_float -> State@3 = advance(State), {ok, {{parsed_primitive, {numeric_type, float}}, State@3}}; keyword_boolean -> State@4 = advance(State), {ok, {{parsed_primitive, boolean}, State@4}}; keyword_u_r_l -> State@5 = advance(State), {ok, {{parsed_primitive, {semantic_type, u_r_l}}, State@5}}; keyword_list -> parse_list_type(State); keyword_dict -> parse_dict_type(State); symbol_left_brace -> parse_record_type(State); {identifier, Name} -> case gleam_stdlib:string_starts_with(Name, <<"_"/utf8>>) of true -> State@6 = advance(State), {ok, {{parsed_type_alias_ref, Name}, State@6}}; false -> {error, {unknown_type, Name, erlang:element(3, State), erlang:element(4, State)}} end; Tok -> {error, {unknown_type, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 840). ?DOC( " Parses a record type: `{ field: Type, ... }`.\n" " Reuses parse_type_struct to parse the struct, then converts fields to a dict.\n" ). -spec parse_record_type(parser_state()) -> {ok, {caffeine_lang@types:parsed_type(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_record_type(State) -> gleam@result:'try'( parse_type_struct(State), fun(_use0) -> {S, State@1} = _use0, Fields = begin _pipe = erlang:element(2, S), _pipe@1 = gleam@list:map( _pipe, fun(Field) -> T@1 = case erlang:element(3, Field) of {type_value, T} -> T; _assert_fail -> erlang:error(#{gleam_error => let_assert, message => <<"Pattern match failed, no pattern matched the value."/utf8>>, file => <>, module => <<"caffeine_lang/frontend/parser"/utf8>>, function => <<"parse_record_type"/utf8>>, line => 847, value => _assert_fail, start => 26610, 'end' => 26651, pattern_start => 26621, pattern_end => 26637}) end, {erlang:element(2, Field), T@1} end ), maps:from_list(_pipe@1) end, {ok, {{parsed_record, Fields}, State@1}} end ). -file("src/caffeine_lang/frontend/parser.gleam", 227). -spec parse_type_alias( parser_state(), binary(), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {caffeine_lang@frontend@ast:type_alias(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_type_alias(State, Name, Leading_comments) -> case Name of <<"_"/utf8>> -> {error, {invalid_type_alias_name, Name, <<"type alias name must have at least one character after the underscore"/utf8>>, erlang:element(3, State), erlang:element(4, State)}}; _ -> State@1 = advance(State), gleam@result:'try'( expect(State@1, symbol_left_paren, <<"("/utf8>>), fun(State@2) -> case peek(State@2) of keyword_type -> State@3 = advance(State@2), gleam@result:'try'( expect( State@3, symbol_right_paren, <<")"/utf8>> ), fun(State@4) -> gleam@result:'try'( expect( State@4, symbol_colon, <<":"/utf8>> ), fun(State@5) -> gleam@result:'try'( parse_type(State@5), fun(_use0) -> {Type_, State@6} = _use0, {ok, {{type_alias, Name, Type_, Leading_comments}, State@6}} end ) end ) end ); Tok -> {error, {unexpected_token, <<"Type"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State@2), erlang:element(4, State@2)}} end end ) end. -file("src/caffeine_lang/frontend/parser.gleam", 188). -spec parse_type_aliases_loop( parser_state(), list(caffeine_lang@frontend@ast:type_alias()), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {list(caffeine_lang@frontend@ast:type_alias()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_type_aliases_loop(State, Acc, Pending) -> case peek(State) of {identifier, Name} -> case is_type_alias(State) of true -> gleam@result:'try'( parse_type_alias(State, Name, Pending), fun(_use0) -> {Type_alias, State@1} = _use0, {Next_pending, State@2} = consume_comments(State@1), parse_type_aliases_loop( State@2, [Type_alias | Acc], Next_pending ) end ); false -> {ok, {lists:reverse(Acc), Pending, State}} end; _ -> {ok, {lists:reverse(Acc), Pending, State}} end. -file("src/caffeine_lang/frontend/parser.gleam", 181). ?DOC( " Parse zero or more type aliases at file start.\n" " Type alias syntax: _name (Type): \n" ). -spec parse_type_aliases( parser_state(), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {list(caffeine_lang@frontend@ast:type_alias()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_type_aliases(State, Pending) -> parse_type_aliases_loop(State, [], Pending). -file("src/caffeine_lang/frontend/parser.gleam", 902). -spec parse_list_type(parser_state()) -> {ok, {caffeine_lang@types:parsed_type(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_list_type(State) -> State@1 = advance(State), gleam@result:'try'( expect(State@1, symbol_left_paren, <<"("/utf8>>), fun(State@2) -> gleam@result:'try'( parse_collection_inner_type(State@2), fun(_use0) -> {Element, State@3} = _use0, gleam@result:'try'( expect(State@3, symbol_right_paren, <<")"/utf8>>), fun(State@4) -> {ok, {{parsed_collection, {list, Element}}, State@4}} end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 954). -spec parse_optional_type(parser_state()) -> {ok, {caffeine_lang@types:parsed_type(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_optional_type(State) -> State@1 = advance(State), gleam@result:'try'( expect(State@1, symbol_left_paren, <<"("/utf8>>), fun(State@2) -> gleam@result:'try'( parse_type(State@2), fun(_use0) -> {Inner, State@3} = _use0, gleam@result:'try'( expect(State@3, symbol_right_paren, <<")"/utf8>>), fun(State@4) -> {ok, {{parsed_modifier, {optional, Inner}}, State@4}} end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 1161). -spec parse_literal_list_contents(parser_state()) -> {ok, {list(caffeine_lang@frontend@ast:literal()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_literal_list_contents(State) -> case peek(State) of symbol_right_bracket -> {ok, {[], State}}; symbol_right_brace -> {ok, {[], State}}; _ -> gleam@result:'try'( parse_literal(State), fun(_use0) -> {First, State@1} = _use0, parse_literal_list_loop(State@1, [First]) end ) end. -file("src/caffeine_lang/frontend/parser.gleam", 1173). -spec parse_literal_list_loop( parser_state(), list(caffeine_lang@frontend@ast:literal()) ) -> {ok, {list(caffeine_lang@frontend@ast:literal()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_literal_list_loop(State, Acc) -> case peek(State) of symbol_comma -> State@1 = advance(State), gleam@result:'try'( parse_literal(State@1), fun(_use0) -> {Literal, State@2} = _use0, parse_literal_list_loop(State@2, [Literal | Acc]) end ); _ -> {ok, {lists:reverse(Acc), State}} end. -file("src/caffeine_lang/frontend/parser.gleam", 1131). -spec parse_literal(parser_state()) -> {ok, {caffeine_lang@frontend@ast:literal(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_literal(State) -> case peek(State) of {literal_string, S} -> {ok, {{literal_string, S}, advance(State)}}; {literal_integer, N} -> {ok, {{literal_integer, N}, advance(State)}}; {literal_float, F} -> {ok, {{literal_float, F}, advance(State)}}; literal_true -> {ok, {literal_true, advance(State)}}; literal_false -> {ok, {literal_false, advance(State)}}; symbol_left_bracket -> parse_literal_list(State); symbol_left_brace -> parse_literal_struct_value(State); Tok -> {error, {unexpected_token, <<"literal value"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 1152). -spec parse_literal_list(parser_state()) -> {ok, {caffeine_lang@frontend@ast:literal(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_literal_list(State) -> gleam@result:'try'( expect(State, symbol_left_bracket, <<"["/utf8>>), fun(State@1) -> gleam@result:'try'( parse_literal_list_contents(State@1), fun(_use0) -> {Elements, State@2} = _use0, gleam@result:'try'( expect(State@2, symbol_right_bracket, <<"]"/utf8>>), fun(State@3) -> {ok, {{literal_list, Elements}, State@3}} end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 683). ?DOC(" Parses a struct with literal fields (for Provides blocks).\n"). -spec parse_literal_struct(parser_state()) -> {ok, {caffeine_lang@frontend@ast:struct(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_literal_struct(State) -> parse_struct( State, fun(S) -> gleam@result:'try'( parse_literal(S), fun(_use0) -> {Literal, S@1} = _use0, {ok, {{literal_value, Literal}, S@1}} end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 297). -spec parse_extendable( parser_state(), binary(), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {caffeine_lang@frontend@ast:extendable(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_extendable(State, Name, Leading_comments) -> State@1 = advance(State), gleam@result:'try'( expect(State@1, symbol_left_paren, <<"("/utf8>>), fun(State@2) -> gleam@result:'try'( parse_extendable_kind(State@2), fun(_use0) -> {Kind, State@3} = _use0, gleam@result:'try'( expect(State@3, symbol_right_paren, <<")"/utf8>>), fun(State@4) -> gleam@result:'try'( expect(State@4, symbol_colon, <<":"/utf8>>), fun(State@5) -> gleam@result:'try'(case Kind of extendable_requires -> parse_type_struct(State@5); extendable_provides -> parse_literal_struct(State@5) end, fun(_use0@1) -> {Body, State@6} = _use0@1, {ok, {{extendable, Name, Kind, Body, Leading_comments}, State@6}} end) end ) end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 278). -spec parse_extendables_loop( parser_state(), list(caffeine_lang@frontend@ast:extendable()), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {list(caffeine_lang@frontend@ast:extendable()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_extendables_loop(State, Acc, Pending) -> case peek(State) of {identifier, Name} -> gleam@result:'try'( parse_extendable(State, Name, Pending), fun(_use0) -> {Extendable, State@1} = _use0, {Next_pending, State@2} = consume_comments(State@1), parse_extendables_loop( State@2, [Extendable | Acc], Next_pending ) end ); _ -> {ok, {lists:reverse(Acc), Pending, State}} end. -file("src/caffeine_lang/frontend/parser.gleam", 271). ?DOC(" Parse zero or more extendables at file start.\n"). -spec parse_extendables( parser_state(), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {list(caffeine_lang@frontend@ast:extendable()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_extendables(State, Pending) -> parse_extendables_loop(State, [], Pending). -file("src/caffeine_lang/frontend/parser.gleam", 469). -spec parse_blueprint_item( parser_state(), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {caffeine_lang@frontend@ast:blueprint_item(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_blueprint_item(State, Leading_comments) -> gleam@result:'try'( expect(State, symbol_star, <<"*"/utf8>>), fun(State@1) -> gleam@result:'try'( parse_string_literal(State@1), fun(_use0) -> {Name, State@2} = _use0, gleam@result:'try'( parse_optional_extends(State@2), fun(_use0@1) -> {Extends, State@3} = _use0@1, gleam@result:'try'( expect(State@3, symbol_colon, <<":"/utf8>>), fun(State@4) -> gleam@result:'try'( expect( State@4, keyword_requires, <<"Requires"/utf8>> ), fun(State@5) -> gleam@result:'try'( parse_type_struct(State@5), fun(_use0@2) -> {Requires, State@6} = _use0@2, gleam@result:'try'( expect( State@6, keyword_provides, <<"Provides"/utf8>> ), fun(State@7) -> gleam@result:'try'( parse_literal_struct( State@7 ), fun(_use0@3) -> {Provides, State@8} = _use0@3, {ok, {{blueprint_item, Name, Extends, Requires, Provides, Leading_comments}, State@8}} end ) end ) end ) end ) end ) end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 454). -spec parse_blueprint_items_loop( parser_state(), list(caffeine_lang@frontend@ast:blueprint_item()), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {list(caffeine_lang@frontend@ast:blueprint_item()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_blueprint_items_loop(State, Acc, Pending) -> case peek(State) of symbol_star -> gleam@result:'try'( parse_blueprint_item(State, Pending), fun(_use0) -> {Item, State@1} = _use0, {Next_pending, State@2} = consume_comments(State@1), parse_blueprint_items_loop( State@2, [Item | Acc], Next_pending ) end ); _ -> {ok, {lists:reverse(Acc), Pending, State}} end. -file("src/caffeine_lang/frontend/parser.gleam", 447). -spec parse_blueprint_items(parser_state()) -> {ok, {list(caffeine_lang@frontend@ast:blueprint_item()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_blueprint_items(State) -> {Pending, State@1} = consume_comments(State), parse_blueprint_items_loop(State@1, [], Pending). -file("src/caffeine_lang/frontend/parser.gleam", 369). -spec parse_blueprints_block( parser_state(), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {caffeine_lang@frontend@ast:blueprints_block(), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_blueprints_block(State, Leading_comments) -> gleam@result:'try'( expect(State, keyword_blueprints, <<"Blueprints"/utf8>>), fun(State@1) -> gleam@result:'try'( expect(State@1, keyword_for, <<"for"/utf8>>), fun(State@2) -> gleam@result:'try'( parse_artifacts(State@2), fun(_use0) -> {Artifacts, State@3} = _use0, gleam@result:'try'( parse_blueprint_items(State@3), fun(_use0@1) -> {Items, Trailing, State@4} = _use0@1, {ok, {{blueprints_block, Artifacts, Items, Leading_comments}, Trailing, State@4}} end ) end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 343). -spec parse_blueprints_blocks_loop( parser_state(), list(caffeine_lang@frontend@ast:blueprints_block()), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {list(caffeine_lang@frontend@ast:blueprints_block()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_blueprints_blocks_loop(State, Acc, Pending) -> case peek(State) of keyword_blueprints -> gleam@result:'try'( parse_blueprints_block(State, Pending), fun(_use0) -> {Block, Trailing, State@1} = _use0, {More_comments, State@2} = consume_comments(State@1), Next_pending = lists:append(Trailing, More_comments), parse_blueprints_blocks_loop( State@2, [Block | Acc], Next_pending ) end ); e_o_f -> {ok, {lists:reverse(Acc), Pending, State}}; Tok -> {error, {unexpected_token, <<"Blueprints"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 336). ?DOC(" Parse zero or more blueprints blocks.\n"). -spec parse_blueprints_blocks( parser_state(), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {list(caffeine_lang@frontend@ast:blueprints_block()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_blueprints_blocks(State, Pending) -> parse_blueprints_blocks_loop(State, [], Pending). -file("src/caffeine_lang/frontend/parser.gleam", 36). ?DOC(" Parses a blueprints file from source text.\n"). -spec parse_blueprints_file(binary()) -> {ok, caffeine_lang@frontend@ast:blueprints_file()} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_blueprints_file(Source) -> gleam@result:'try'( begin _pipe = caffeine_lang@frontend@tokenizer:tokenize(Source), gleam@result:map_error( _pipe, fun(Field@0) -> {tokenizer_error, Field@0} end ) end, fun(Tokens) -> Filtered = filter_whitespace(Tokens), State = init_state(Filtered), {Pending, State@1} = consume_comments(State), gleam@result:'try'( parse_type_aliases(State@1, Pending), fun(_use0) -> {Type_aliases, Pending@1, State@2} = _use0, gleam@result:'try'( parse_extendables(State@2, Pending@1), fun(_use0@1) -> {Extendables, Pending@2, State@3} = _use0@1, gleam@result:'try'( parse_blueprints_blocks(State@3, Pending@2), fun(_use0@2) -> {Blocks, Pending@3, _} = _use0@2, {ok, {blueprints_file, Type_aliases, Extendables, Blocks, Pending@3}} end ) end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 562). -spec parse_expect_item( parser_state(), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {caffeine_lang@frontend@ast:expect_item(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_expect_item(State, Leading_comments) -> gleam@result:'try'( expect(State, symbol_star, <<"*"/utf8>>), fun(State@1) -> gleam@result:'try'( parse_string_literal(State@1), fun(_use0) -> {Name, State@2} = _use0, gleam@result:'try'( parse_optional_extends(State@2), fun(_use0@1) -> {Extends, State@3} = _use0@1, gleam@result:'try'( expect(State@3, symbol_colon, <<":"/utf8>>), fun(State@4) -> case peek(State@4) of keyword_requires -> {error, {unexpected_token, <<"Provides"/utf8>>, <<"Requires"/utf8>>, erlang:element(3, State@4), erlang:element(4, State@4)}}; _ -> gleam@result:'try'( expect( State@4, keyword_provides, <<"Provides"/utf8>> ), fun(State@5) -> gleam@result:'try'( parse_literal_struct( State@5 ), fun(_use0@2) -> {Provides, State@6} = _use0@2, {ok, {{expect_item, Name, Extends, Provides, Leading_comments}, State@6}} end ) end ) end end ) end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 547). -spec parse_expect_items_loop( parser_state(), list(caffeine_lang@frontend@ast:expect_item()), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {list(caffeine_lang@frontend@ast:expect_item()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_expect_items_loop(State, Acc, Pending) -> case peek(State) of symbol_star -> gleam@result:'try'( parse_expect_item(State, Pending), fun(_use0) -> {Item, State@1} = _use0, {Next_pending, State@2} = consume_comments(State@1), parse_expect_items_loop(State@2, [Item | Acc], Next_pending) end ); _ -> {ok, {lists:reverse(Acc), Pending, State}} end. -file("src/caffeine_lang/frontend/parser.gleam", 540). -spec parse_expect_items(parser_state()) -> {ok, {list(caffeine_lang@frontend@ast:expect_item()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_expect_items(State) -> {Pending, State@1} = consume_comments(State), parse_expect_items_loop(State@1, [], Pending). -file("src/caffeine_lang/frontend/parser.gleam", 525). -spec parse_expects_block( parser_state(), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {caffeine_lang@frontend@ast:expects_block(), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_expects_block(State, Leading_comments) -> gleam@result:'try'( expect(State, keyword_expectations, <<"Expectations"/utf8>>), fun(State@1) -> gleam@result:'try'( expect(State@1, keyword_for, <<"for"/utf8>>), fun(State@2) -> gleam@result:'try'( parse_string_literal(State@2), fun(_use0) -> {Blueprint, State@3} = _use0, gleam@result:'try'( parse_expect_items(State@3), fun(_use0@1) -> {Items, Trailing, State@4} = _use0@1, {ok, {{expects_block, Blueprint, Items, Leading_comments}, Trailing, State@4}} end ) end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 499). -spec parse_expects_blocks_loop( parser_state(), list(caffeine_lang@frontend@ast:expects_block()), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {list(caffeine_lang@frontend@ast:expects_block()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_expects_blocks_loop(State, Acc, Pending) -> case peek(State) of keyword_expectations -> gleam@result:'try'( parse_expects_block(State, Pending), fun(_use0) -> {Block, Trailing, State@1} = _use0, {More_comments, State@2} = consume_comments(State@1), Next_pending = lists:append(Trailing, More_comments), parse_expects_blocks_loop( State@2, [Block | Acc], Next_pending ) end ); e_o_f -> {ok, {lists:reverse(Acc), Pending, State}}; Tok -> {error, {unexpected_token, <<"Expectations"/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 492). ?DOC(" Parse zero or more expects blocks.\n"). -spec parse_expects_blocks( parser_state(), list(caffeine_lang@frontend@ast:comment()) ) -> {ok, {list(caffeine_lang@frontend@ast:expects_block()), list(caffeine_lang@frontend@ast:comment()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_expects_blocks(State, Pending) -> parse_expects_blocks_loop(State, [], Pending). -file("src/caffeine_lang/frontend/parser.gleam", 67). ?DOC(" Parses an expects file from source text.\n"). -spec parse_expects_file(binary()) -> {ok, caffeine_lang@frontend@ast:expects_file()} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_expects_file(Source) -> gleam@result:'try'( begin _pipe = caffeine_lang@frontend@tokenizer:tokenize(Source), gleam@result:map_error( _pipe, fun(Field@0) -> {tokenizer_error, Field@0} end ) end, fun(Tokens) -> Filtered = filter_whitespace(Tokens), State = init_state(Filtered), {Pending, State@1} = consume_comments(State), gleam@result:'try'( parse_extendables(State@1, Pending), fun(_use0) -> {Extendables, Pending@1, State@2} = _use0, gleam@result:'try'( parse_expects_blocks(State@2, Pending@1), fun(_use0@1) -> {Blocks, Pending@2, _} = _use0@1, {ok, {expects_file, Extendables, Blocks, Pending@2}} end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 1005). -spec parse_defaulted_refinement_body( parser_state(), caffeine_lang@types:parsed_type() ) -> {ok, {caffeine_lang@types:refinement_types(caffeine_lang@types:parsed_type()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_defaulted_refinement_body(State, Defaulted) -> Primitive = extract_primitive_from_parsed(Defaulted), case peek(State) of symbol_left_brace -> State@1 = advance(State), gleam@result:'try'( parse_literal_list_contents(State@1), fun(_use0) -> {Values, State@2} = _use0, gleam@result:'try'( expect(State@2, symbol_right_brace, <<"}"/utf8>>), fun(State@3) -> gleam@result:'try'(case Primitive of {ok, Prim} -> validate_oneof_literals( Values, Prim, State@3 ); {error, _} -> {ok, nil} end, fun(_) -> String_values = gleam@list:map( Values, fun literal_to_string/1 ), {ok, {{one_of, Defaulted, gleam@set:from_list( String_values )}, State@3}} end) end ) end ); symbol_left_paren -> State@4 = advance(State), gleam@result:'try'( parse_literal(State@4), fun(_use0@1) -> {Min, State@5} = _use0@1, gleam@result:'try'( expect(State@5, symbol_dot_dot, <<".."/utf8>>), fun(State@6) -> gleam@result:'try'( parse_literal(State@6), fun(_use0@2) -> {Max, State@7} = _use0@2, gleam@result:'try'( expect( State@7, symbol_right_paren, <<")"/utf8>> ), fun(State@8) -> gleam@result:'try'(case Primitive of {ok, Prim@1} -> validate_oneof_literals( [Min, Max], Prim@1, State@8 ); {error, _} -> {ok, nil} end, fun(_) -> {ok, {{inclusive_range, Defaulted, literal_to_string( Min ), literal_to_string( Max )}, State@8}} end) end ) end ) end ) end ); Tok -> {error, {unexpected_token, <<"{ or ("/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 988). ?DOC(" Parse refinement on a Defaulted type: { x | x in { ... } } or { x | x in ( ... ) }\n"). -spec parse_defaulted_refinement( parser_state(), caffeine_lang@types:parsed_type() ) -> {ok, {caffeine_lang@types:refinement_types(caffeine_lang@types:parsed_type()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_defaulted_refinement(State, Defaulted) -> gleam@result:'try'( expect(State, symbol_left_brace, <<"{"/utf8>>), fun(State@1) -> gleam@result:'try'( expect_x(State@1), fun(State@2) -> gleam@result:'try'( expect(State@2, symbol_pipe, <<"|"/utf8>>), fun(State@3) -> gleam@result:'try'( expect_x(State@3), fun(State@4) -> gleam@result:'try'( expect( State@4, keyword_in, <<"in"/utf8>> ), fun(State@5) -> gleam@result:'try'( parse_defaulted_refinement_body( State@5, Defaulted ), fun(_use0) -> {Refinement, State@6} = _use0, gleam@result:'try'( expect( State@6, symbol_right_brace, <<"}"/utf8>> ), fun(State@7) -> {ok, {Refinement, State@7}} end ) end ) end ) end ) end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 964). -spec parse_defaulted_type(parser_state()) -> {ok, {caffeine_lang@types:parsed_type(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_defaulted_type(State) -> State@1 = advance(State), gleam@result:'try'( expect(State@1, symbol_left_paren, <<"("/utf8>>), fun(State@2) -> gleam@result:'try'( parse_type(State@2), fun(_use0) -> {Inner, State@3} = _use0, gleam@result:'try'( expect(State@3, symbol_comma, <<","/utf8>>), fun(State@4) -> gleam@result:'try'( parse_literal(State@4), fun(_use0@1) -> {Default, State@5} = _use0@1, gleam@result:'try'( expect( State@5, symbol_right_paren, <<")"/utf8>> ), fun(State@6) -> Defaulted = {parsed_modifier, {defaulted, Inner, literal_to_string(Default)}}, case peek(State@6) of symbol_left_brace -> gleam@result:'try'( parse_defaulted_refinement( State@6, Defaulted ), fun(_use0@2) -> {Refinement, State@7} = _use0@2, {ok, {{parsed_refinement, Refinement}, State@7}} end ); _ -> {ok, {Defaulted, State@6}} end end ) end ) end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 1083). -spec parse_refinement_body( parser_state(), caffeine_lang@types:primitive_types() ) -> {ok, {caffeine_lang@types:refinement_types(caffeine_lang@types:parsed_type()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_refinement_body(State, Primitive) -> case peek(State) of symbol_left_brace -> State@1 = advance(State), gleam@result:'try'( parse_literal_list_contents(State@1), fun(_use0) -> {Values, State@2} = _use0, gleam@result:'try'( expect(State@2, symbol_right_brace, <<"}"/utf8>>), fun(State@3) -> gleam@result:'try'( validate_oneof_literals( Values, Primitive, State@3 ), fun(_) -> String_values = gleam@list:map( Values, fun literal_to_string/1 ), {ok, {{one_of, {parsed_primitive, Primitive}, gleam@set:from_list( String_values )}, State@3}} end ) end ) end ); symbol_left_paren -> State@4 = advance(State), gleam@result:'try'( parse_literal(State@4), fun(_use0@1) -> {Min, State@5} = _use0@1, gleam@result:'try'( expect(State@5, symbol_dot_dot, <<".."/utf8>>), fun(State@6) -> gleam@result:'try'( parse_literal(State@6), fun(_use0@2) -> {Max, State@7} = _use0@2, gleam@result:'try'( expect( State@7, symbol_right_paren, <<")"/utf8>> ), fun(State@8) -> gleam@result:'try'( validate_oneof_literals( [Min, Max], Primitive, State@8 ), fun(_) -> {ok, {{inclusive_range, {parsed_primitive, Primitive}, literal_to_string( Min ), literal_to_string( Max )}, State@8}} end ) end ) end ) end ) end ); Tok -> {error, {unexpected_token, <<"{ or ("/utf8>>, caffeine_lang@frontend@token:to_string(Tok), erlang:element(3, State), erlang:element(4, State)}} end. -file("src/caffeine_lang/frontend/parser.gleam", 1057). -spec parse_refinement(parser_state(), caffeine_lang@types:primitive_types()) -> {ok, {caffeine_lang@types:refinement_types(caffeine_lang@types:parsed_type()), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_refinement(State, Primitive) -> gleam@result:'try'( expect(State, symbol_left_brace, <<"{"/utf8>>), fun(State@1) -> gleam@result:'try'( expect_x(State@1), fun(State@2) -> gleam@result:'try'( expect(State@2, symbol_pipe, <<"|"/utf8>>), fun(State@3) -> gleam@result:'try'( expect_x(State@3), fun(State@4) -> gleam@result:'try'( expect( State@4, keyword_in, <<"in"/utf8>> ), fun(State@5) -> gleam@result:'try'( parse_refinement_body( State@5, Primitive ), fun(_use0) -> {Refinement, State@6} = _use0, gleam@result:'try'( expect( State@6, symbol_right_brace, <<"}"/utf8>> ), fun(State@7) -> {ok, {Refinement, State@7}} end ) end ) end ) end ) end ) end ) end ). -file("src/caffeine_lang/frontend/parser.gleam", 824). -spec parse_type_with_refinement( parser_state(), caffeine_lang@types:primitive_types() ) -> {ok, {caffeine_lang@types:parsed_type(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_type_with_refinement(State, Primitive) -> State@1 = advance(State), case peek(State@1) of symbol_left_brace -> gleam@result:'try'( parse_refinement(State@1, Primitive), fun(_use0) -> {Refinement, State@2} = _use0, {ok, {{parsed_refinement, Refinement}, State@2}} end ); _ -> {ok, {{parsed_primitive, Primitive}, State@1}} end. -file("src/caffeine_lang/frontend/parser.gleam", 1187). -spec parse_literal_struct_value(parser_state()) -> {ok, {caffeine_lang@frontend@ast:literal(), parser_state()}} | {error, caffeine_lang@frontend@parser_error:parser_error()}. parse_literal_struct_value(State) -> Parse_value = fun(S) -> gleam@result:'try'( parse_literal(S), fun(_use0) -> {Literal, S@1} = _use0, {ok, {{literal_value, Literal}, S@1}} end ) end, gleam@result:'try'( expect(State, symbol_left_brace, <<"{"/utf8>>), fun(State@1) -> {Pending, State@2} = consume_comments(State@1), gleam@result:'try'( parse_fields(State@2, Pending, Parse_value), fun(_use0@1) -> {Fields, Trailing_comments, State@3} = _use0@1, gleam@result:'try'( expect(State@3, symbol_right_brace, <<"}"/utf8>>), fun(State@4) -> {ok, {{literal_struct, Fields, Trailing_comments}, State@4}} end ) end ) end ).