Current section
Files
Jump to
Current section
Files
src/fp2@list.erl
-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}.