diff options
| author | Marvin Borner | 2023-04-08 17:14:54 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-04-08 17:14:54 +0200 |
| commit | 67b6713b221a25763d1c08e12e8b715d432db5f8 (patch) | |
| tree | 40843861e9aaacc47beba57479c0b78bcfea8f08 /std/Tree/Balanced.bruijn | |
| parent | 5e5069c5228f2cd39de38ace9134f57293cc7e5d (diff) | |
Various improvements to standard library docs
Diffstat (limited to 'std/Tree/Balanced.bruijn')
| -rw-r--r-- | std/Tree/Balanced.bruijn | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/std/Tree/Balanced.bruijn b/std/Tree/Balanced.bruijn index ab0a921..39d5bc8 100644 --- a/std/Tree/Balanced.bruijn +++ b/std/Tree/Balanced.bruijn @@ -1,6 +1,7 @@ # MIT License, Copyright (c) 2023 Marvin Borner # Balanced AVL tree for numerical leafs, inspired by Rudy Matela's implementation # TODO: Extend for arbitrary orderable types? +# TODO: Analyze performance bottlenecks # TODO: More tests :import std/Combinator . @@ -10,12 +11,10 @@ :import std/Option . :import std/Pair . -# tree ⧗ (height : (lbranch? : (label : rbranch?))) - # error return that can't happen (in theory) error Ω -# unwrap tree from option (only use if not empty!) +# unwraps tree from option (only use if not empty!) unwrap unwrap-or error ⧗ (Option BalancedTree) → BalancedTree !‣ unwrap @@ -68,9 +67,9 @@ rotate-lr [rotate-ll (node (some (rotate-rr !(//0))) ?0 \\0)] ⧗ BalancedTree â rotate-rl [rotate-rr (node //0 ?0 (some (rotate-ll !(\\0))))] ⧗ BalancedTree → BalancedTree -# balance a tree +# balances a tree balance [go (factor 0)] ⧗ (Option BalancedTree) → (Option BalancedTree) - go [(0 >? (+1)) left ((0 <? (-1)) right else)] + go [=?0 else ((0 >? (+1)) left ((0 <? (-1)) right else))] left some (((factor //(!1)) =? (-1)) (rotate-lr !1) (rotate-ll !1)) right some (((factor \\(!1)) =? (+1)) (rotate-rl !1) (rotate-rr !1)) else 1 |