-module(lustre).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).

-export([application/3, element/1, simple/3, component/5, start/3, destroy/1, is_browser/0, is_registered/1]).
-export_type([app/3, error/0]).

-opaque app(HSZ, HTA, HTB) :: app | {gleam_phantom, HSZ, HTA, HTB}.

-type error() :: app_already_started |
    app_not_yet_started |
    bad_component_name |
    component_already_registered |
    element_not_found |
    not_a_browser.

-spec application(
    fun((HTO) -> {HTP, lustre@effect:effect(HTQ)}),
    fun((HTP, HTQ) -> {HTP, lustre@effect:effect(HTQ)}),
    fun((HTP) -> lustre@element:element(HTQ))
) -> app(HTO, HTP, HTQ).
application(_, _, _) ->
    gleam@dynamic:unsafe_coerce(gleam@dynamic:from(nil)).

-spec element(lustre@element:element(HTC)) -> app(nil, nil, HTC).
element(Element) ->
    Init = fun(_) -> {nil, lustre@effect:none()} end,
    Update = fun(_, _) -> {nil, lustre@effect:none()} end,
    View = fun(_) -> Element end,
    application(Init, Update, View).

-spec simple(
    fun((HTH) -> HTI),
    fun((HTI, HTJ) -> HTI),
    fun((HTI) -> lustre@element:element(HTJ))
) -> app(HTH, HTI, HTJ).
simple(Init, Update, View) ->
    Init@1 = fun(Flags) -> {Init(Flags), lustre@effect:none()} end,
    Update@1 = fun(Model, Msg) -> {Update(Model, Msg), lustre@effect:none()} end,
    application(Init@1, Update@1, View).

-spec component(
    binary(),
    fun(() -> {HTX, lustre@effect:effect(HTY)}),
    fun((HTX, HTY) -> {HTX, lustre@effect:effect(HTY)}),
    fun((HTX) -> lustre@element:element(HTY)),
    gleam@dict:dict(binary(), fun((gleam@dynamic:dynamic_()) -> {ok, HTY} |
        {error, list(gleam@dynamic:decode_error())}))
) -> {ok, nil} | {error, error()}.
component(_, _, _, _, _) ->
    {ok, nil}.

-spec start(app(HUH, any(), HUJ), binary(), HUH) -> {ok, fun((HUJ) -> nil)} |
    {error, error()}.
start(_, _, _) ->
    {error, not_a_browser}.

-spec destroy(app(any(), any(), any())) -> {ok, nil} | {error, error()}.
destroy(_) ->
    {ok, nil}.

-spec is_browser() -> boolean().
is_browser() ->
    false.

-spec is_registered(binary()) -> boolean().
is_registered(_) ->
    false.