Current section
Files
Jump to
Current section
Files
src/parser_gleam@parser.erl
-module(parser_gleam@parser).
-compile(no_auto_import).
-export([succeed/1, fail/0, fail_at/1, expected/2, item/0, cut/1, seq/2, either/2, with_start/1, eof/0, alt/2, chain/2, chain_first/2, 'of'/1, map/2, ap/2, ap_first/1, ap_second/1, flatten/1, zero/0, chain_rec/2, sat/1, cut_with/2, maybe/1, many/1, many1/1, sep_by/2, sep_by1/2, sep_by_cut/2, filter/1, between/2, surrounded_by/1, look_ahead/1, take_until/1, optional/1, many_till/2, many1_till/2, get_semigroup/1, get_monoid/1]).
-export_type([next/2]).
-type next(KDX, KDY) :: {next, KDY, parser_gleam@stream:stream(KDX)}.
-spec succeed(KEB) -> fun((parser_gleam@stream:stream(KEA)) -> {ok,
parser_gleam@parse_result:parse_success(KEA, KEB)} |
{error, parser_gleam@parse_result:parse_error(KEA)}).
succeed(A) ->
fun(I) -> parser_gleam@parse_result:success(A, I, I) end.
-spec fail() -> fun((parser_gleam@stream:stream(KEE)) -> {ok,
parser_gleam@parse_result:parse_success(KEE, any())} |
{error, parser_gleam@parse_result:parse_error(KEE)}).
fail() ->
fun(I) -> parser_gleam@parse_result:error(I, none, none) end.
-spec fail_at(parser_gleam@stream:stream(KEI)) -> fun((parser_gleam@stream:stream(KEI)) -> {ok,
parser_gleam@parse_result:parse_success(KEI, any())} |
{error, parser_gleam@parse_result:parse_error(KEI)}).
fail_at(I) ->
fun(_) -> parser_gleam@parse_result:error(I, none, none) end.
-spec expected(
fun((parser_gleam@stream:stream(KEN)) -> {ok,
parser_gleam@parse_result:parse_success(KEN, KEO)} |
{error, parser_gleam@parse_result:parse_error(KEN)}),
binary()
) -> fun((parser_gleam@stream:stream(KEN)) -> {ok,
parser_gleam@parse_result:parse_success(KEN, KEO)} |
{error, parser_gleam@parse_result:parse_error(KEN)}).
expected(P, Message) ->
fun(I) ->
_pipe = P(I),
gleam@result:map_error(
_pipe,
fun(Err) ->
parser_gleam@parse_result:with_expected(Err, [Message])
end
)
end.
-spec item() -> fun((parser_gleam@stream:stream(KET)) -> {ok,
parser_gleam@parse_result:parse_success(KET, KET)} |
{error, parser_gleam@parse_result:parse_error(KET)}).
item() ->
fun(I) -> case parser_gleam@stream:get_and_next(I) of
none ->
parser_gleam@parse_result:error(I, none, none);
{some, E} ->
parser_gleam@parse_result:success(
erlang:element(2, E),
erlang:element(3, E),
I
)
end end.
-spec cut(
fun((parser_gleam@stream:stream(KEW)) -> {ok,
parser_gleam@parse_result:parse_success(KEW, KEX)} |
{error, parser_gleam@parse_result:parse_error(KEW)})
) -> fun((parser_gleam@stream:stream(KEW)) -> {ok,
parser_gleam@parse_result:parse_success(KEW, KEX)} |
{error, parser_gleam@parse_result:parse_error(KEW)}).
cut(P) ->
fun(I) ->
_pipe = P(I),
gleam@result:map_error(_pipe, fun parser_gleam@parse_result:escalate/1)
end.
-spec seq(
fun((parser_gleam@stream:stream(KFC)) -> {ok,
parser_gleam@parse_result:parse_success(KFC, KFD)} |
{error, parser_gleam@parse_result:parse_error(KFC)}),
fun((KFD) -> fun((parser_gleam@stream:stream(KFC)) -> {ok,
parser_gleam@parse_result:parse_success(KFC, KFG)} |
{error, parser_gleam@parse_result:parse_error(KFC)}))
) -> fun((parser_gleam@stream:stream(KFC)) -> {ok,
parser_gleam@parse_result:parse_success(KFC, KFG)} |
{error, parser_gleam@parse_result:parse_error(KFC)}).
seq(Fa, F) ->
fun(I) ->
_pipe = Fa(I),
gleam@result:then(
_pipe,
fun(S) ->
_pipe@1 = (F(erlang:element(2, S)))(erlang:element(3, S)),
gleam@result:then(
_pipe@1,
fun(Next) ->
parser_gleam@parse_result:success(
erlang:element(2, Next),
erlang:element(3, Next),
I
)
end
)
end
)
end.
-spec either(
fun((parser_gleam@stream:stream(KFK)) -> {ok,
parser_gleam@parse_result:parse_success(KFK, KFL)} |
{error, parser_gleam@parse_result:parse_error(KFK)}),
fun(() -> fun((parser_gleam@stream:stream(KFK)) -> {ok,
parser_gleam@parse_result:parse_success(KFK, KFL)} |
{error, parser_gleam@parse_result:parse_error(KFK)}))
) -> fun((parser_gleam@stream:stream(KFK)) -> {ok,
parser_gleam@parse_result:parse_success(KFK, KFL)} |
{error, parser_gleam@parse_result:parse_error(KFK)}).
either(P, F) ->
fun(I) ->
E = P(I),
case E of
{ok, E@1} ->
{ok, E@1};
{error, E@2} ->
case erlang:element(4, E@2) of
true ->
{error, E@2};
false ->
_pipe = (F())(I),
gleam@result:map_error(
_pipe,
fun(Err) ->
parser_gleam@parse_result:extend(E@2, Err)
end
)
end
end
end.
-spec with_start(
fun((parser_gleam@stream:stream(KFS)) -> {ok,
parser_gleam@parse_result:parse_success(KFS, KFT)} |
{error, parser_gleam@parse_result:parse_error(KFS)})
) -> fun((parser_gleam@stream:stream(KFS)) -> {ok,
parser_gleam@parse_result:parse_success(KFS, {KFT,
parser_gleam@stream:stream(KFS)})} |
{error, parser_gleam@parse_result:parse_error(KFS)}).
with_start(P) ->
fun(I) ->
_pipe = P(I),
gleam@result:map(
_pipe,
fun(P@1) ->
{parse_success,
{erlang:element(2, P@1), I},
erlang:element(3, P@1),
erlang:element(4, P@1)}
end
)
end.
-spec eof() -> fun((parser_gleam@stream:stream(KFZ)) -> {ok,
parser_gleam@parse_result:parse_success(KFZ, nil)} |
{error, parser_gleam@parse_result:parse_error(KFZ)}).
eof() ->
expected(fun(I) -> case parser_gleam@stream:at_end(I) of
true ->
parser_gleam@parse_result:success(nil, I, I);
false ->
parser_gleam@parse_result:error(I, none, none)
end end, <<"end of file"/utf8>>).
-spec alt(
fun((parser_gleam@stream:stream(KGC)) -> {ok,
parser_gleam@parse_result:parse_success(KGC, KGD)} |
{error, parser_gleam@parse_result:parse_error(KGC)}),
fun(() -> fun((parser_gleam@stream:stream(KGC)) -> {ok,
parser_gleam@parse_result:parse_success(KGC, KGD)} |
{error, parser_gleam@parse_result:parse_error(KGC)}))
) -> fun((parser_gleam@stream:stream(KGC)) -> {ok,
parser_gleam@parse_result:parse_success(KGC, KGD)} |
{error, parser_gleam@parse_result:parse_error(KGC)}).
alt(Fa, That) ->
either(Fa, That).
-spec chain(
fun((parser_gleam@stream:stream(KGK)) -> {ok,
parser_gleam@parse_result:parse_success(KGK, KGL)} |
{error, parser_gleam@parse_result:parse_error(KGK)}),
fun((KGL) -> fun((parser_gleam@stream:stream(KGK)) -> {ok,
parser_gleam@parse_result:parse_success(KGK, KGO)} |
{error, parser_gleam@parse_result:parse_error(KGK)}))
) -> fun((parser_gleam@stream:stream(KGK)) -> {ok,
parser_gleam@parse_result:parse_success(KGK, KGO)} |
{error, parser_gleam@parse_result:parse_error(KGK)}).
chain(Ma, F) ->
seq(Ma, F).
-spec chain_first(
fun((parser_gleam@stream:stream(KGS)) -> {ok,
parser_gleam@parse_result:parse_success(KGS, KGT)} |
{error, parser_gleam@parse_result:parse_error(KGS)}),
fun((KGT) -> fun((parser_gleam@stream:stream(KGS)) -> {ok,
parser_gleam@parse_result:parse_success(KGS, any())} |
{error, parser_gleam@parse_result:parse_error(KGS)}))
) -> fun((parser_gleam@stream:stream(KGS)) -> {ok,
parser_gleam@parse_result:parse_success(KGS, KGT)} |
{error, parser_gleam@parse_result:parse_error(KGS)}).
chain_first(Ma, F) ->
chain(Ma, fun(A) -> map(F(A), fun(_) -> A end) end).
-spec 'of'(KHD) -> fun((parser_gleam@stream:stream(KHC)) -> {ok,
parser_gleam@parse_result:parse_success(KHC, KHD)} |
{error, parser_gleam@parse_result:parse_error(KHC)}).
'of'(A) ->
succeed(A).
-spec map(
fun((parser_gleam@stream:stream(KHG)) -> {ok,
parser_gleam@parse_result:parse_success(KHG, KHH)} |
{error, parser_gleam@parse_result:parse_error(KHG)}),
fun((KHH) -> KHK)
) -> fun((parser_gleam@stream:stream(KHG)) -> {ok,
parser_gleam@parse_result:parse_success(KHG, KHK)} |
{error, parser_gleam@parse_result:parse_error(KHG)}).
map(Ma, F) ->
fun(I) ->
_pipe = Ma(I),
gleam@result:map(
_pipe,
fun(S) ->
{parse_success,
F(erlang:element(2, S)),
erlang:element(3, S),
erlang:element(4, S)}
end
)
end.
-spec ap(
fun((parser_gleam@stream:stream(KHN)) -> {ok,
parser_gleam@parse_result:parse_success(KHN, fun((KHO) -> KHP))} |
{error, parser_gleam@parse_result:parse_error(KHN)}),
fun((parser_gleam@stream:stream(KHN)) -> {ok,
parser_gleam@parse_result:parse_success(KHN, KHO)} |
{error, parser_gleam@parse_result:parse_error(KHN)})
) -> fun((parser_gleam@stream:stream(KHN)) -> {ok,
parser_gleam@parse_result:parse_success(KHN, KHP)} |
{error, parser_gleam@parse_result:parse_error(KHN)}).
ap(Mab, Ma) ->
chain(Mab, fun(F) -> map(Ma, F) end).
-spec ap_first(
fun((parser_gleam@stream:stream(KHW)) -> {ok,
parser_gleam@parse_result:parse_success(KHW, any())} |
{error, parser_gleam@parse_result:parse_error(KHW)})
) -> fun((fun((parser_gleam@stream:stream(KHW)) -> {ok,
parser_gleam@parse_result:parse_success(KHW, KTE)} |
{error, parser_gleam@parse_result:parse_error(KHW)})) -> fun((parser_gleam@stream:stream(KHW)) -> {ok,
parser_gleam@parse_result:parse_success(KHW, KTE)} |
{error, parser_gleam@parse_result:parse_error(KHW)})).
ap_first(Fb) ->
fun(Fa) -> ap(map(Fa, fun(A) -> fun(_) -> A end end), Fb) end.
-spec ap_second(
fun((parser_gleam@stream:stream(KIB)) -> {ok,
parser_gleam@parse_result:parse_success(KIB, KIC)} |
{error, parser_gleam@parse_result:parse_error(KIB)})
) -> fun((fun((parser_gleam@stream:stream(KIB)) -> {ok,
parser_gleam@parse_result:parse_success(KIB, any())} |
{error, parser_gleam@parse_result:parse_error(KIB)})) -> fun((parser_gleam@stream:stream(KIB)) -> {ok,
parser_gleam@parse_result:parse_success(KIB, KIC)} |
{error, parser_gleam@parse_result:parse_error(KIB)})).
ap_second(Fb) ->
fun(Fa) -> ap(map(Fa, fun(_) -> fun(B) -> B end end), Fb) end.
-spec flatten(
fun((parser_gleam@stream:stream(KIG)) -> {ok,
parser_gleam@parse_result:parse_success(KIG, fun((parser_gleam@stream:stream(KIG)) -> {ok,
parser_gleam@parse_result:parse_success(KIG, KIH)} |
{error,
parser_gleam@parse_result:parse_error(KIG)}))} |
{error, parser_gleam@parse_result:parse_error(KIG)})
) -> fun((parser_gleam@stream:stream(KIG)) -> {ok,
parser_gleam@parse_result:parse_success(KIG, KIH)} |
{error, parser_gleam@parse_result:parse_error(KIG)}).
flatten(Mma) ->
chain(Mma, fun fp_gl@function:identity/1).
-spec zero() -> fun((parser_gleam@stream:stream(KIO)) -> {ok,
parser_gleam@parse_result:parse_success(KIO, any())} |
{error, parser_gleam@parse_result:parse_error(KIO)}).
zero() ->
fail().
-spec chain_rec(
KIU,
fun((KIU) -> fun((parser_gleam@stream:stream(KIV)) -> {ok,
parser_gleam@parse_result:parse_success(KIV, {ok,
KIW} |
{error, KIU})} |
{error, parser_gleam@parse_result:parse_error(KIV)}))
) -> fun((parser_gleam@stream:stream(KIV)) -> {ok,
parser_gleam@parse_result:parse_success(KIV, KIW)} |
{error, parser_gleam@parse_result:parse_error(KIV)}).
chain_rec(A, F) ->
Split = fun(Start) -> fun(Result) -> case erlang:element(2, Result) of
{error, E} ->
{error, {next, E, erlang:element(3, Result)}};
{ok, R} ->
{ok,
parser_gleam@parse_result:success(
R,
erlang:element(3, Result),
Start
)}
end end end,
fun(Start@1) ->
fp_gl@chain_rec:tail_rec(
{next, A, Start@1},
fun(State) ->
Result@1 = (F(erlang:element(2, State)))(
erlang:element(3, State)
),
case Result@1 of
{error, R@1} ->
{ok,
parser_gleam@parse_result:error(
erlang:element(3, State),
{some, erlang:element(3, R@1)},
{some, erlang:element(4, R@1)}
)};
{ok, R@2} ->
(Split(Start@1))(R@2)
end
end
)
end.
-spec sat(fun((KJD) -> boolean())) -> fun((parser_gleam@stream:stream(KJD)) -> {ok,
parser_gleam@parse_result:parse_success(KJD, KJD)} |
{error, parser_gleam@parse_result:parse_error(KJD)}).
sat(Predicate) ->
_pipe = with_start(item()),
chain(
_pipe,
fun(T) ->
{A, Start} = T,
case Predicate(A) of
true ->
'of'(A);
false ->
fail_at(Start)
end
end
).
-spec cut_with(
fun((parser_gleam@stream:stream(KJH)) -> {ok,
parser_gleam@parse_result:parse_success(KJH, any())} |
{error, parser_gleam@parse_result:parse_error(KJH)}),
fun((parser_gleam@stream:stream(KJH)) -> {ok,
parser_gleam@parse_result:parse_success(KJH, KJL)} |
{error, parser_gleam@parse_result:parse_error(KJH)})
) -> fun((parser_gleam@stream:stream(KJH)) -> {ok,
parser_gleam@parse_result:parse_success(KJH, KJL)} |
{error, parser_gleam@parse_result:parse_error(KJH)}).
cut_with(P1, P2) ->
_pipe = P1,
(ap_second(cut(P2)))(_pipe).
-spec maybe(fp_gl@models:monoid(KJQ)) -> fun((fun((parser_gleam@stream:stream(KXE)) -> {ok,
parser_gleam@parse_result:parse_success(KXE, KJQ)} |
{error, parser_gleam@parse_result:parse_error(KXE)})) -> fun((parser_gleam@stream:stream(KXE)) -> {ok,
parser_gleam@parse_result:parse_success(KXE, KJQ)} |
{error, parser_gleam@parse_result:parse_error(KXE)})).
maybe(M) ->
fun(P) ->
_pipe = P,
alt(_pipe, fun() -> 'of'(erlang:element(3, M)) end)
end.
-spec many(
fun((parser_gleam@stream:stream(KJT)) -> {ok,
parser_gleam@parse_result:parse_success(KJT, KJU)} |
{error, parser_gleam@parse_result:parse_error(KJT)})
) -> fun((parser_gleam@stream:stream(KJT)) -> {ok,
parser_gleam@parse_result:parse_success(KJT, list(KJU))} |
{error, parser_gleam@parse_result:parse_error(KJT)}).
many(P) ->
_pipe = many1(P),
_pipe@1 = map(_pipe, fun fp_gl@non_empty_list:to_list/1),
alt(_pipe@1, fun() -> 'of'([]) end).
-spec many1(
fun((parser_gleam@stream:stream(KKA)) -> {ok,
parser_gleam@parse_result:parse_success(KKA, KKB)} |
{error, parser_gleam@parse_result:parse_error(KKA)})
) -> fun((parser_gleam@stream:stream(KKA)) -> {ok,
parser_gleam@parse_result:parse_success(KKA, fp_gl@non_empty_list:non_empty_list(KKB))} |
{error, parser_gleam@parse_result:parse_error(KKA)}).
many1(Parser) ->
_pipe = Parser,
chain(
_pipe,
fun(Head) ->
chain_rec(
fp_gl@non_empty_list:'of'(Head),
fun(Acc) ->
_pipe@1 = Parser,
_pipe@2 = map(
_pipe@1,
fun(A) ->
{error, fp_gl@non_empty_list:append(Acc, A)}
end
),
alt(_pipe@2, fun() -> 'of'({ok, Acc}) end)
end
)
end
).
-spec sep_by(
fun((parser_gleam@stream:stream(KKH)) -> {ok,
parser_gleam@parse_result:parse_success(KKH, any())} |
{error, parser_gleam@parse_result:parse_error(KKH)}),
fun((parser_gleam@stream:stream(KKH)) -> {ok,
parser_gleam@parse_result:parse_success(KKH, KKL)} |
{error, parser_gleam@parse_result:parse_error(KKH)})
) -> fun((parser_gleam@stream:stream(KKH)) -> {ok,
parser_gleam@parse_result:parse_success(KKH, list(KKL))} |
{error, parser_gleam@parse_result:parse_error(KKH)}).
sep_by(Sep, P) ->
_pipe = sep_by1(Sep, P),
_pipe@1 = map(_pipe, fun fp_gl@non_empty_list:to_list/1),
alt(_pipe@1, fun() -> 'of'([]) end).
-spec sep_by1(
fun((parser_gleam@stream:stream(KKR)) -> {ok,
parser_gleam@parse_result:parse_success(KKR, any())} |
{error, parser_gleam@parse_result:parse_error(KKR)}),
fun((parser_gleam@stream:stream(KKR)) -> {ok,
parser_gleam@parse_result:parse_success(KKR, KKV)} |
{error, parser_gleam@parse_result:parse_error(KKR)})
) -> fun((parser_gleam@stream:stream(KKR)) -> {ok,
parser_gleam@parse_result:parse_success(KKR, fp_gl@non_empty_list:non_empty_list(KKV))} |
{error, parser_gleam@parse_result:parse_error(KKR)}).
sep_by1(Sep, P) ->
_pipe = P,
chain(
_pipe,
fun(Head) ->
_pipe@2 = many(
begin
_pipe@1 = Sep,
(ap_second(P))(_pipe@1)
end
),
map(
_pipe@2,
fun(Tail) ->
_pipe@3 = Tail,
fp_gl@non_empty_list:prepend_list(_pipe@3, Head)
end
)
end
).
-spec sep_by_cut(
fun((parser_gleam@stream:stream(KLB)) -> {ok,
parser_gleam@parse_result:parse_success(KLB, any())} |
{error, parser_gleam@parse_result:parse_error(KLB)}),
fun((parser_gleam@stream:stream(KLB)) -> {ok,
parser_gleam@parse_result:parse_success(KLB, KLF)} |
{error, parser_gleam@parse_result:parse_error(KLB)})
) -> fun((parser_gleam@stream:stream(KLB)) -> {ok,
parser_gleam@parse_result:parse_success(KLB, fp_gl@non_empty_list:non_empty_list(KLF))} |
{error, parser_gleam@parse_result:parse_error(KLB)}).
sep_by_cut(Sep, P) ->
_pipe = P,
chain(
_pipe,
fun(Head) ->
_pipe@1 = many(cut_with(Sep, P)),
map(
_pipe@1,
fun(Tail) ->
_pipe@2 = Tail,
fp_gl@non_empty_list:prepend_list(_pipe@2, Head)
end
)
end
).
-spec filter(fun((KLL) -> boolean())) -> fun((fun((parser_gleam@stream:stream(LAJ)) -> {ok,
parser_gleam@parse_result:parse_success(LAJ, KLL)} |
{error, parser_gleam@parse_result:parse_error(LAJ)})) -> fun((parser_gleam@stream:stream(LAJ)) -> {ok,
parser_gleam@parse_result:parse_success(LAJ, KLL)} |
{error, parser_gleam@parse_result:parse_error(LAJ)})).
filter(Predicate) ->
fun(P) ->
fun(I) ->
_pipe = P(I),
gleam@result:then(
_pipe,
fun(Next) -> case Predicate(erlang:element(2, Next)) of
true ->
{ok, Next};
false ->
parser_gleam@parse_result:error(I, none, none)
end end
)
end
end.
-spec between(
fun((parser_gleam@stream:stream(KLO)) -> {ok,
parser_gleam@parse_result:parse_success(KLO, KLP)} |
{error, parser_gleam@parse_result:parse_error(KLO)}),
fun((parser_gleam@stream:stream(KLO)) -> {ok,
parser_gleam@parse_result:parse_success(KLO, KLP)} |
{error, parser_gleam@parse_result:parse_error(KLO)})
) -> fun((fun((parser_gleam@stream:stream(KLO)) -> {ok,
parser_gleam@parse_result:parse_success(KLO, LBC)} |
{error, parser_gleam@parse_result:parse_error(KLO)})) -> fun((parser_gleam@stream:stream(KLO)) -> {ok,
parser_gleam@parse_result:parse_success(KLO, LBC)} |
{error, parser_gleam@parse_result:parse_error(KLO)})).
between(Left, Right) ->
fun(P) ->
_pipe = Left,
_pipe@1 = chain(_pipe, fun(_) -> P end),
chain_first(_pipe@1, fun(_) -> Right end)
end.
-spec surrounded_by(
fun((parser_gleam@stream:stream(KLV)) -> {ok,
parser_gleam@parse_result:parse_success(KLV, any())} |
{error, parser_gleam@parse_result:parse_error(KLV)})
) -> fun((fun((parser_gleam@stream:stream(KLV)) -> {ok,
parser_gleam@parse_result:parse_success(KLV, LBP)} |
{error, parser_gleam@parse_result:parse_error(KLV)})) -> fun((parser_gleam@stream:stream(KLV)) -> {ok,
parser_gleam@parse_result:parse_success(KLV, LBP)} |
{error, parser_gleam@parse_result:parse_error(KLV)})).
surrounded_by(Bound) ->
fun(P) -> (between(Bound, Bound))(P) end.
-spec look_ahead(
fun((parser_gleam@stream:stream(KMA)) -> {ok,
parser_gleam@parse_result:parse_success(KMA, KMB)} |
{error, parser_gleam@parse_result:parse_error(KMA)})
) -> fun((parser_gleam@stream:stream(KMA)) -> {ok,
parser_gleam@parse_result:parse_success(KMA, KMB)} |
{error, parser_gleam@parse_result:parse_error(KMA)}).
look_ahead(P) ->
fun(I) ->
_pipe = P(I),
gleam@result:then(
_pipe,
fun(Next) ->
parser_gleam@parse_result:success(erlang:element(2, Next), I, I)
end
)
end.
-spec take_until(fun((KMG) -> boolean())) -> fun((parser_gleam@stream:stream(KMG)) -> {ok,
parser_gleam@parse_result:parse_success(KMG, list(KMG))} |
{error, parser_gleam@parse_result:parse_error(KMG)}).
take_until(Predicate) ->
_pipe = Predicate,
_pipe@1 = fp_gl@predicate:'not'(_pipe),
_pipe@2 = sat(_pipe@1),
many(_pipe@2).
-spec optional(
fun((parser_gleam@stream:stream(KML)) -> {ok,
parser_gleam@parse_result:parse_success(KML, KMM)} |
{error, parser_gleam@parse_result:parse_error(KML)})
) -> fun((parser_gleam@stream:stream(KML)) -> {ok,
parser_gleam@parse_result:parse_success(KML, gleam@option:option(KMM))} |
{error, parser_gleam@parse_result:parse_error(KML)}).
optional(Parser) ->
_pipe = Parser,
_pipe@1 = map(_pipe, fun(A) -> {some, A} end),
alt(_pipe@1, fun() -> succeed(none) end).
-spec many_till(
fun((parser_gleam@stream:stream(KMS)) -> {ok,
parser_gleam@parse_result:parse_success(KMS, KMT)} |
{error, parser_gleam@parse_result:parse_error(KMS)}),
fun((parser_gleam@stream:stream(KMS)) -> {ok,
parser_gleam@parse_result:parse_success(KMS, any())} |
{error, parser_gleam@parse_result:parse_error(KMS)})
) -> fun((parser_gleam@stream:stream(KMS)) -> {ok,
parser_gleam@parse_result:parse_success(KMS, list(KMT))} |
{error, parser_gleam@parse_result:parse_error(KMS)}).
many_till(Parser, Terminator) ->
_pipe = Terminator,
_pipe@1 = map(_pipe, fun(_) -> [] end),
alt(
_pipe@1,
fun() ->
_pipe@2 = many1_till(Parser, Terminator),
map(_pipe@2, fun fp_gl@non_empty_list:to_list/1)
end
).
-spec many1_till(
fun((parser_gleam@stream:stream(KNC)) -> {ok,
parser_gleam@parse_result:parse_success(KNC, KND)} |
{error, parser_gleam@parse_result:parse_error(KNC)}),
fun((parser_gleam@stream:stream(KNC)) -> {ok,
parser_gleam@parse_result:parse_success(KNC, any())} |
{error, parser_gleam@parse_result:parse_error(KNC)})
) -> fun((parser_gleam@stream:stream(KNC)) -> {ok,
parser_gleam@parse_result:parse_success(KNC, fp_gl@non_empty_list:non_empty_list(KND))} |
{error, parser_gleam@parse_result:parse_error(KNC)}).
many1_till(Parser, Terminator) ->
_pipe = Parser,
chain(
_pipe,
fun(X) ->
chain_rec(
fp_gl@non_empty_list:'of'(X),
fun(Acc) ->
_pipe@1 = Terminator,
_pipe@2 = map(_pipe@1, fun(_) -> {ok, Acc} end),
alt(
_pipe@2,
fun() ->
_pipe@3 = Parser,
map(
_pipe@3,
fun(A) ->
{error, fp_gl@non_empty_list:append(Acc, A)}
end
)
end
)
end
)
end
).
-spec get_semigroup(fp_gl@models:semigroup(KNM)) -> fp_gl@models:semigroup(fun((parser_gleam@stream:stream(KNO)) -> {ok,
parser_gleam@parse_result:parse_success(KNO, KNM)} |
{error, parser_gleam@parse_result:parse_error(KNO)})).
get_semigroup(S) ->
{semigroup,
fun(X, Y) ->
ap(
map(
X,
fun(X@1) ->
fun(Y@1) -> (erlang:element(2, S))(X@1, Y@1) end
end
),
Y
)
end}.
-spec monoid_to_semigroup(fp_gl@models:monoid(KNS)) -> fp_gl@models:semigroup(KNS).
monoid_to_semigroup(M) ->
{semigroup, erlang:element(2, M)}.
-spec get_monoid(fp_gl@models:monoid(KNV)) -> fp_gl@models:monoid(fun((parser_gleam@stream:stream(KNX)) -> {ok,
parser_gleam@parse_result:parse_success(KNX, KNV)} |
{error, parser_gleam@parse_result:parse_error(KNX)})).
get_monoid(M) ->
{semigroup, Concat} = begin
_pipe = M,
_pipe@1 = monoid_to_semigroup(_pipe),
get_semigroup(_pipe@1)
end,
{monoid, Concat, succeed(erlang:element(3, M))}.