-module(lightspeed@ops@template_harness).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).
-define(FILEPATH, "src/lightspeed/ops/template_harness.gleam").
-export([run_scenario/1, run_matrix/0, scenario_label/1, pass_fail_label/1, signature/1, scenario/1, outcomes/1, failed_scenarios/1, report_signature/1]).
-export_type([card_assigns/0, card_slots/0, scenario/0, scenario_outcome/0, report/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(" Deterministic M23 template compiler conformance harness.\n").
-type card_assigns() :: {card_assigns, binary(), boolean()}.
-type card_slots() :: {card_slots, binary(), binary()}.
-type scenario() :: compile_success |
missing_assign_diagnostic |
missing_slot_diagnostic |
invalid_attr_type_diagnostic.
-type scenario_outcome() :: {scenario_outcome, scenario(), boolean(), binary()}.
-type report() :: {report, list(scenario_outcome()), integer()}.
-file("src/lightspeed/ops/template_harness.gleam", 283).
-spec count_failed(list(scenario_outcome())) -> integer().
count_failed(Outcomes) ->
case Outcomes of
[] ->
0;
[Outcome | Rest] ->
case erlang:element(3, Outcome) of
true ->
count_failed(Rest);
false ->
1 + count_failed(Rest)
end
end.
-file("src/lightspeed/ops/template_harness.gleam", 294).
-spec bool_to_string(boolean()) -> binary().
bool_to_string(Value) ->
case Value of
true ->
<<"true"/utf8>>;
false ->
<<"false"/utf8>>
end.
-file("src/lightspeed/ops/template_harness.gleam", 232).
-spec card_component() -> fun((card_assigns(), card_slots()) -> lightspeed@component:rendered()).
card_component() ->
lightspeed@component@template:function(
fun(Assigns, Slots) ->
lightspeed@component:html(
<<<<<<<<<<<<<<<<"<article data-highlighted=\""/utf8,
(bool_to_string(
erlang:element(3, Assigns)
))/binary>>/binary,
"\"><h1>"/utf8>>/binary,
(erlang:element(2, Assigns))/binary>>/binary,
"</h1><section>"/utf8>>/binary,
(erlang:element(2, Slots))/binary>>/binary,
"</section><footer>"/utf8>>/binary,
(erlang:element(3, Slots))/binary>>/binary,
"</footer></article>"/utf8>>
)
end
).
-file("src/lightspeed/ops/template_harness.gleam", 263).
-spec compile_card_slots(list({binary(), lightspeed@component:rendered()})) -> {ok,
card_slots()} |
{error, binary()}.
compile_card_slots(Slots) ->
case {lightspeed@component@template_compiler:require_slot(
Slots,
<<"body"/utf8>>
),
lightspeed@component@template_compiler:slot_rendered(
Slots,
<<"footer"/utf8>>
)} of
{{ok, Body}, {some, Footer}} ->
{ok,
{card_slots,
lightspeed@component:to_html(Body),
lightspeed@component:to_html(Footer)}};
{{ok, Body@1}, _} ->
{ok,
{card_slots, lightspeed@component:to_html(Body@1), <<""/utf8>>}};
{{error, Reason}, _} ->
{error, Reason}
end.
-file("src/lightspeed/ops/template_harness.gleam", 248).
-spec compile_card_assigns(
list({binary(), lightspeed@component@template_compiler:attr_value()})
) -> {ok, card_assigns()} | {error, binary()}.
compile_card_assigns(Attrs) ->
case {lightspeed@component@template_compiler:require_string(
Attrs,
<<"title"/utf8>>
),
lightspeed@component@template_compiler:require_bool(
Attrs,
<<"highlighted"/utf8>>
)} of
{{ok, Title}, {ok, Highlighted}} ->
{ok, {card_assigns, Title, Highlighted}};
{{error, Reason}, _} ->
{error, Reason};
{_, {error, Reason@1}} ->
{error, Reason@1}
end.
-file("src/lightspeed/ops/template_harness.gleam", 215).
-spec card_schema() -> lightspeed@component@template_compiler:schema(card_assigns(), card_slots()).
card_schema() ->
lightspeed@component@template_compiler:schema(
<<"card"/utf8>>,
[lightspeed@component@template_compiler:required_string(
<<"title"/utf8>>
),
lightspeed@component@template_compiler:optional_bool(
<<"highlighted"/utf8>>,
{some, false}
)],
[lightspeed@component@template_compiler:required_slot(<<"body"/utf8>>),
lightspeed@component@template_compiler:optional_slot(
<<"footer"/utf8>>
)],
fun compile_card_assigns/1,
fun compile_card_slots/1,
card_component()
).
-file("src/lightspeed/ops/template_harness.gleam", 187).
-spec scenario_invalid_attr_type() -> scenario_outcome().
scenario_invalid_attr_type() ->
Result = lightspeed@component@template_compiler:compile(
card_schema(),
[{<<"title"/utf8>>, {int_attr, 9}}],
[{<<"body"/utf8>>, lightspeed@component:html(<<"<p>x</p>"/utf8>>)}]
),
case Result of
{ok, Compiled} ->
{scenario_outcome,
invalid_attr_type_diagnostic,
false,
lightspeed@component@template_compiler:signature(Compiled)};
{error, Diagnostics} ->
Signature = lightspeed@component@template_compiler:diagnostics_signature(
Diagnostics
),
{scenario_outcome,
invalid_attr_type_diagnostic,
Signature =:= <<"invalid_attribute_type:card:title:expected=string:actual=int"/utf8>>,
Signature}
end.
-file("src/lightspeed/ops/template_harness.gleam", 160).
-spec scenario_missing_slot() -> scenario_outcome().
scenario_missing_slot() ->
Result = lightspeed@component@template_compiler:compile(
card_schema(),
[{<<"title"/utf8>>, {string_attr, <<"Inbox"/utf8>>}}],
[]
),
case Result of
{ok, Compiled} ->
{scenario_outcome,
missing_slot_diagnostic,
false,
lightspeed@component@template_compiler:signature(Compiled)};
{error, Diagnostics} ->
Signature = lightspeed@component@template_compiler:diagnostics_signature(
Diagnostics
),
{scenario_outcome,
missing_slot_diagnostic,
Signature =:= <<"missing_slot:card:body"/utf8>>,
Signature}
end.
-file("src/lightspeed/ops/template_harness.gleam", 137).
-spec scenario_missing_assign() -> scenario_outcome().
scenario_missing_assign() ->
Result = lightspeed@component@template_compiler:compile(
card_schema(),
[],
[]
),
case Result of
{ok, Compiled} ->
{scenario_outcome,
missing_assign_diagnostic,
false,
lightspeed@component@template_compiler:signature(Compiled)};
{error, Diagnostics} ->
Signature = lightspeed@component@template_compiler:diagnostics_signature(
Diagnostics
),
{scenario_outcome,
missing_assign_diagnostic,
Signature =:= <<"missing_attribute:card:title;missing_slot:card:body"/utf8>>,
Signature}
end.
-file("src/lightspeed/ops/template_harness.gleam", 111).
-spec scenario_compile_success() -> scenario_outcome().
scenario_compile_success() ->
Result = lightspeed@component@template_compiler:compile(
card_schema(),
[{<<"title"/utf8>>, {string_attr, <<"Inbox"/utf8>>}}],
[{<<"body"/utf8>>,
lightspeed@component:html(<<"<p>3 notifications</p>"/utf8>>)}]
),
case Result of
{ok, Compiled} ->
{scenario_outcome,
compile_success,
lightspeed@component@template_compiler:html(Compiled) =:= <<"<article data-highlighted=\"false\"><h1>Inbox</h1><section><p>3 notifications</p></section><footer></footer></article>"/utf8>>,
lightspeed@component@template_compiler:signature(Compiled)};
{error, Diagnostics} ->
{scenario_outcome,
compile_success,
false,
lightspeed@component@template_compiler:diagnostics_signature(
Diagnostics
)}
end.
-file("src/lightspeed/ops/template_harness.gleam", 50).
?DOC(" Run one M23 scenario.\n").
-spec run_scenario(scenario()) -> scenario_outcome().
run_scenario(Scenario) ->
case Scenario of
compile_success ->
scenario_compile_success();
missing_assign_diagnostic ->
scenario_missing_assign();
missing_slot_diagnostic ->
scenario_missing_slot();
invalid_attr_type_diagnostic ->
scenario_invalid_attr_type()
end.
-file("src/lightspeed/ops/template_harness.gleam", 36).
?DOC(" Run all M23 conformance scenarios.\n").
-spec run_matrix() -> report().
run_matrix() ->
Outcomes = begin
_pipe = [compile_success,
missing_assign_diagnostic,
missing_slot_diagnostic,
invalid_attr_type_diagnostic],
gleam@list:map(_pipe, fun run_scenario/1)
end,
{report, Outcomes, count_failed(Outcomes)}.
-file("src/lightspeed/ops/template_harness.gleam", 60).
?DOC(" Scenario label.\n").
-spec scenario_label(scenario()) -> binary().
scenario_label(Scenario) ->
case Scenario of
compile_success ->
<<"compile_success"/utf8>>;
missing_assign_diagnostic ->
<<"missing_assign_diagnostic"/utf8>>;
missing_slot_diagnostic ->
<<"missing_slot_diagnostic"/utf8>>;
invalid_attr_type_diagnostic ->
<<"invalid_attr_type_diagnostic"/utf8>>
end.
-file("src/lightspeed/ops/template_harness.gleam", 70).
?DOC(" Pass/fail label.\n").
-spec pass_fail_label(scenario_outcome()) -> binary().
pass_fail_label(Outcome) ->
case erlang:element(3, Outcome) of
true ->
<<"pass"/utf8>>;
false ->
<<"fail"/utf8>>
end.
-file("src/lightspeed/ops/template_harness.gleam", 78).
?DOC(" Scenario signature.\n").
-spec signature(scenario_outcome()) -> binary().
signature(Outcome) ->
erlang:element(4, Outcome).
-file("src/lightspeed/ops/template_harness.gleam", 83).
?DOC(" Scenario accessor.\n").
-spec scenario(scenario_outcome()) -> scenario().
scenario(Outcome) ->
erlang:element(2, Outcome).
-file("src/lightspeed/ops/template_harness.gleam", 88).
?DOC(" Outcomes accessor.\n").
-spec outcomes(report()) -> list(scenario_outcome()).
outcomes(Report) ->
erlang:element(2, Report).
-file("src/lightspeed/ops/template_harness.gleam", 93).
?DOC(" Failed scenario count.\n").
-spec failed_scenarios(report()) -> integer().
failed_scenarios(Report) ->
erlang:element(3, Report).
-file("src/lightspeed/ops/template_harness.gleam", 301).
-spec join_with(binary(), list(binary())) -> binary().
join_with(Separator, Values) ->
case Values of
[] ->
<<""/utf8>>;
[Value] ->
Value;
[Value@1 | Rest] ->
<<<<Value@1/binary, Separator/binary>>/binary,
(join_with(Separator, Rest))/binary>>
end.
-file("src/lightspeed/ops/template_harness.gleam", 98).
?DOC(" Stable report signature.\n").
-spec report_signature(report()) -> binary().
report_signature(Report) ->
Entries = gleam@list:map(
erlang:element(2, Report),
fun(Outcome) ->
<<<<<<<<(scenario_label(erlang:element(2, Outcome)))/binary,
"="/utf8>>/binary,
(pass_fail_label(Outcome))/binary>>/binary,
":"/utf8>>/binary,
(erlang:element(4, Outcome))/binary>>
end
),
join_with(<<";"/utf8>>, Entries).
