-module(gleam@set). -compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]). -export([new/0, size/1, contains/2, delete/2, to_list/1, fold/3, filter/2, drop/2, take/2, intersection/2, difference/2, is_subset/2, is_disjoint/2, insert/2, from_list/1, union/2, symmetric_difference/2]). -export_type([set/1]). -opaque set(FCO) :: {set, gleam@dict:dict(FCO, list(nil))}. -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 39). -spec new() -> set(any()). new() -> {set, gleam@dict:new()}. -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 57). -spec size(set(any())) -> integer(). size(Set) -> maps:size(erlang:element(2, Set)). -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 99). -spec contains(set(FCX), FCX) -> boolean(). contains(Set, Member) -> _pipe = erlang:element(2, Set), _pipe@1 = gleam@dict:get(_pipe, Member), gleam@result:is_ok(_pipe@1). -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 120). -spec delete(set(FCZ), FCZ) -> set(FCZ). delete(Set, Member) -> {set, gleam@dict:delete(erlang:element(2, Set), Member)}. -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 138). -spec to_list(set(FDC)) -> list(FDC). to_list(Set) -> gleam@dict:keys(erlang:element(2, Set)). -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 179). -spec fold(set(FDI), FDK, fun((FDK, FDI) -> FDK)) -> FDK. fold(Set, Initial, Reducer) -> gleam@dict:fold( erlang:element(2, Set), Initial, fun(A, K, _) -> Reducer(A, K) end ). -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 203). -spec filter(set(FDL), fun((FDL) -> boolean())) -> set(FDL). filter(Set, Predicate) -> {set, gleam@dict:filter(erlang:element(2, Set), fun(M, _) -> Predicate(M) end)}. -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 219). -spec drop(set(FDO), list(FDO)) -> set(FDO). drop(Set, Disallowed) -> gleam@list:fold(Disallowed, Set, fun delete/2). -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 237). -spec take(set(FDS), list(FDS)) -> set(FDS). take(Set, Desired) -> {set, gleam@dict:take(erlang:element(2, Set), Desired)}. -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 241). -spec order(set(FDW), set(FDW)) -> {set(FDW), set(FDW)}. order(First, Second) -> case maps:size(erlang:element(2, First)) > maps:size( erlang:element(2, Second) ) of true -> {First, Second}; false -> {Second, First} end. -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 275). -spec intersection(set(FEF), set(FEF)) -> set(FEF). intersection(First, Second) -> {Larger, Smaller} = order(First, Second), take(Larger, to_list(Smaller)). -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 293). -spec difference(set(FEJ), set(FEJ)) -> set(FEJ). difference(First, Second) -> drop(First, to_list(Second)). -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 314). -spec is_subset(set(FEN), set(FEN)) -> boolean(). is_subset(First, Second) -> intersection(First, Second) =:= First. -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 332). -spec is_disjoint(set(FEQ), set(FEQ)) -> boolean(). is_disjoint(First, Second) -> intersection(First, Second) =:= new(). -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 75). -spec insert(set(FCU), FCU) -> set(FCU). insert(Set, Member) -> {set, gleam@dict:insert(erlang:element(2, Set), Member, [])}. -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 156). -spec from_list(list(FDF)) -> set(FDF). from_list(Members) -> Dict = gleam@list:fold( Members, gleam@dict:new(), fun(M, K) -> gleam@dict:insert(M, K, []) end ), {set, Dict}. -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 259). -spec union(set(FEB), set(FEB)) -> set(FEB). union(First, Second) -> {Larger, Smaller} = order(First, Second), fold(Smaller, Larger, fun insert/2). -file("/home/pgbiel/GitHub/glistix_stdlib/src/gleam/set.gleam", 344). -spec symmetric_difference(set(FET), set(FET)) -> set(FET). symmetric_difference(First, Second) -> difference(union(First, Second), intersection(First, Second)).