Useful additions

hehe

1 files changed, 20 insertions, 0 deletions

diff --git a/std/Set.bruijn b/std/Set.bruijn
new file mode 100644
index 0000000..5f64335
--- /dev/null
+++ b/std/Set.bruijn
@@ -0,0 +1,20 @@
+# MIT License, Copyright (c) 2023 Marvin Borner
+# Set implementation using AVL trees
+# can currently only store Numbers (due to std/Tree/Balanced)
+
+:import std/Tree/Balanced T
+
+# empty set
+empty T.empty ⧗ Set
+
+# adds a number of a set
+add T.insert ⧗ Number → Set → Set
+
+# returns true if a number is in a set
+has? T.has? ⧗ Number → Set → Boolean
+
+# converts a set to a list
+list! T.list! ⧗ Set → (List Number)
+
+# converts a list to a set
+from-list T.from-list ⧗ (List Number) → Set