-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(PDS, PDT, PDU, PDV) :: {aggregate,
        PDS,
        fun((PDS, PDT) -> {ok, list(PDU)} | {error, PDV}),
        fun((PDS, PDU) -> PDS)}.

-type aggregate_context(PDW, PDX, PDY, PDZ) :: {aggregate_context,
        binary(),
        aggregate(PDW, PDX, PDY, PDZ),
        integer()}.

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

-opaque event_sourcing(PEB, PEC, PED, PEE, PEF, PEG) :: {event_sourcing,
        event_store(PEB, PEC, PED, PEE, PEF),
        list(fun((binary(), list(event_envelop(PEE))) -> nil))} |
    {gleam_phantom, PEG}.

-type event_store(PEH, PEI, PEJ, PEK, PEL) :: {event_store,
        PEH,
        fun((PEH, binary()) -> aggregate_context(PEI, PEJ, PEK, PEL)),
        fun((PEH, aggregate_context(PEI, PEJ, PEK, PEL), list(PEK)) -> list(event_envelop(PEK)))}.

-spec new(
    event_store(PHT, PHU, PHV, PHW, PHX),
    list(fun((binary(), list(event_envelop(PHW))) -> nil))
) -> event_sourcing(PHT, PHU, PHV, PHW, PHX, any()).
new(Event_store, Queries) ->
    {event_sourcing, Event_store, Queries}.

-spec execute(
    event_sourcing(any(), any(), PFD, any(), PFF, any()),
    binary(),
    PFD
) -> {ok, nil} | {error, PFF}.
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
    ).