summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authornsensfel <SpamShield0@noot-noot.org>2019-09-09 17:57:36 +0200
committernsensfel <SpamShield0@noot-noot.org>2019-09-09 17:57:36 +0200
commitc2f3e908511cdf782f4a324002a15b607ffbd125 (patch)
tree6c29ab9362106fb75ba361deee5240f1cda0a97c /src/shared/elm/Util
parent1eaca6c3fcd4b36b38a51d639341179ce3858eba (diff)
Highlights invalid glyphs.
Diffstat (limited to 'src/shared/elm/Util')
-rw-r--r--src/shared/elm/Util/List.elm17
1 files changed, 17 insertions, 0 deletions
diff --git a/src/shared/elm/Util/List.elm b/src/shared/elm/Util/List.elm
index 1f914b1..829dd3e 100644
--- a/src/shared/elm/Util/List.elm
+++ b/src/shared/elm/Util/List.elm
@@ -1,5 +1,7 @@
module Util.List exposing (..)
+import Set
+
import List
pop : List a -> (Maybe (a, List a))
@@ -34,3 +36,18 @@ product_map_rec product_fun list_a list_b result =
)
)
+duplicates : (List comparable) -> (Set.Set comparable)
+duplicates list =
+ let
+ (encountered, final_result) =
+ (List.foldl
+ (\elem (met, result) ->
+ if (Set.member elem met)
+ then (met, (Set.insert elem result))
+ else ((Set.insert elem met), result)
+ )
+ ((Set.empty), (Set.empty))
+ list
+ )
+ in
+ final_result