| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2020-05-28 00:11:00 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2020-05-28 00:11:00 +0200 |
| commit | 75aa816dedb09e0e1bc395f6e9ae94e1b9e993a1 (patch) | |
| tree | a4e29cb758facc31ee99b8a59139bb2bd85d1ab1 /src/shared | |
| parent | e625907e5846bba7f9fb66375700f35eb2c6be39 (diff) | |
Missing files + New Control UI.
Diffstat (limited to 'src/shared')
| -rw-r--r-- | src/shared/elm/Shared/Util/Set.elm | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/shared/elm/Shared/Util/Set.elm b/src/shared/elm/Shared/Util/Set.elm new file mode 100644 index 0000000..d9368cd --- /dev/null +++ b/src/shared/elm/Shared/Util/Set.elm @@ -0,0 +1,11 @@ +module Shared.Util.Set exposing (..) + +import Set + +import List + +toggle : comparable -> (Set.Set comparable) -> (Set.Set comparable) +toggle e set = + if (Set.member e set) + then (Set.remove e set) + else (Set.insert e set) |