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

-export([new/2, execute/3]).
-export_type([aggregate/4, aggregate_context/4, event_envelop/1, event_sourcing/6, event_store/5]).

-type aggregate(PAJ, PAK, PAL, PAM) :: {aggregate,
        PAJ,
        fun((PAJ, PAK) -> {ok, list(PAL)} | {error, PAM}),
        fun((PAJ, PAL) -> PAJ)}.

-type aggregate_context(PAN, PAO, PAP, PAQ) :: {aggregate_context,
        binary(),
        aggregate(PAN, PAO, PAP, PAQ),
        integer()}.

-type event_envelop(PAR) :: {memory_store_event_envelop,
        binary(),
        integer(),
        PAR} |
    {serialized_event_envelop,
        binary(),
        integer(),
        PAR,
        binary(),
        binary(),
        binary()}.

-opaque event_sourcing(PAS, PAT, PAU, PAV, PAW, PAX) :: {event_sourcing,
        event_store(PAS, PAT, PAU, PAV, PAW),
        list(fun((binary(), list(event_envelop(PAV))) -> nil))} |
    {gleam_phantom, PAX}.

-type event_store(PAY, PAZ, PBA, PBB, PBC) :: {event_store,
        PAY,
        fun((PAY, binary()) -> aggregate_context(PAZ, PBA, PBB, PBC)),
        fun((PAY, aggregate_context(PAZ, PBA, PBB, PBC), list(PBB)) -> list(event_envelop(PBB)))}.

-spec new(
    event_store(PEK, PEL, PEM, PEN, PEO),
    list(fun((binary(), list(event_envelop(PEN))) -> nil))
) -> event_sourcing(PEK, PEL, PEM, PEN, PEO, any()).
new(Event_store, Queries) ->
    {event_sourcing, Event_store, Queries}.

-spec execute(
    event_sourcing(any(), any(), PBU, any(), PBW, any()),
    binary(),
    PBU
) -> {ok, nil} | {error, PBW}.
execute(Event_sourcing, Aggregate_id, Command) ->
    Aggregate_context = (erlang:element(3, erlang:element(2, Event_sourcing)))(
        erlang:element(2, erlang:element(2, Event_sourcing)),
        Aggregate_id
    ),
    Aggregate = erlang:element(3, Aggregate_context),
    Entity = erlang:element(2, Aggregate),
    gleam@result:map(
        (erlang:element(3, Aggregate))(Entity, Command),
        fun(Events) ->
            _pipe = Events,
            gleam@list:map(
                _pipe,
                fun(_capture) ->
                    (erlang:element(4, Aggregate))(Entity, _capture)
                end
            ),
            Commited_events = (erlang:element(
                4,
                erlang:element(2, Event_sourcing)
            ))(
                erlang:element(2, erlang:element(2, Event_sourcing)),
                Aggregate_context,
                Events
            ),
            _pipe@1 = erlang:element(3, Event_sourcing),
            gleam@list:map(
                _pipe@1,
                fun(Query) -> Query(Aggregate_id, Commited_events) end
            ),
            nil
        end
    ).