From 20e3e03914b128a77595e39ee909a42d425a5d4b Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 26 Oct 2024 21:38:27 +0200
Subject: Fixed balanced tree / set

---
 std/Set.bruijn | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

(limited to 'std/Set.bruijn')

diff --git a/std/Set.bruijn b/std/Set.bruijn
index 5f64335..bec1645 100644
--- a/std/Set.bruijn
+++ b/std/Set.bruijn
@@ -3,6 +3,7 @@
 # can currently only store Numbers (due to std/Tree/Balanced)
 
 :import std/Tree/Balanced T
+:import std/List .
 
 # empty set
 empty T.empty ⧗ Set
@@ -13,8 +14,19 @@ add T.insert ⧗ Number → Set → Set
 # returns true if a number is in a set
 has? T.has? ⧗ Number → Set → Boolean
 
+:test (has? (+5) (add (+5) empty)) ([[1]])
+:test (has? (+5) empty) ([[0]])
+
+# count of elements in set
+size T.size ⧗ Set → Number
+
 # converts a set to a list
-list! T.list! ⧗ Set → (List Number)
+set→list T.tree→list ⧗ Set → (List Number)
 
 # converts a list to a set
-from-list T.from-list ⧗ (List Number) → Set
+list→set T.list→tree ⧗ (List Number) → Set
+
+:test (has? (+0) (list→set ((+5) : ((+3) : ((+2) : ((+1) : {}(+0))))))) ([[1]])
+:test (has? (+5) (list→set ((+5) : ((+3) : ((+2) : ((+1) : {}(+0))))))) ([[1]])
+:test (has? (+6) (list→set ((+5) : ((+3) : ((+2) : ((+1) : {}(+0))))))) ([[0]])
+:test (has? (+7) (list→set ((+5) : ((+7) : {}(+1))))) ([[1]])
-- 
cgit v1.2.3