-module(fp2@list).
-compile(no_auto_import).

-export([get_eq/1]).

-spec get_eq(fp2@eq:eq(ELG)) -> fp2@eq:eq(list(ELG)).
get_eq(E) ->
    {eq,
     fun(X, Y) ->
         (gleam@list:length(X)
         =:= gleam@list:length(Y))
         andalso begin
             _pipe = gleam@list:zip(X, Y),
             gleam@list:all(
                 _pipe,
                 fun(T) ->
                     {X@1, Y@1} = T,
                     (erlang:element(2, E))(X@1, Y@1)
                 end
             )
         end
     end}.