PTV/radn-rs
1
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

tree_bind

Browse Source
This commit is contained in:
AF 2023-05-30 13:18:05 +00:00
parent 354c2363c8
commit ada32fdede
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/flow/binary.rs
View File

@ -56,6 +56,10 @@ pub trait BinaryTrees<'a>: 'a + Clone {
{ {
<Self::T as Fail<_>>::fail(e) <Self::T as Fail<_>>::fail(e)
} }
fn tree_bind(self, fnode: BTWrap<'a, Self, Self::Node>) -> BTWrap<'a, Self, Self::Tree> {
Self::bind(fnode, move |node| self.tree_of(node))
}
} }
pub trait BinaryTreesMutable<'a>: BinaryTrees<'a> { pub trait BinaryTreesMutable<'a>: BinaryTrees<'a> {
@ -74,7 +78,7 @@ pub trait BinaryTreesMutable<'a>: BinaryTrees<'a> {
key: KeyRc<'a, Self>, key: KeyRc<'a, Self>,
tr: Self::Tree, tr: Self::Tree,
) -> BTWrap<'a, Self, Self::Tree> { ) -> BTWrap<'a, Self, Self::Tree> {
Self::bind(self.clone().join_key(tl, key, tr), move |n| self.tree_of(n)) self.clone().tree_bind(self.join_key(tl, key, tr))
} }
fn join(self, tl: Self::Tree, tr: Self::Tree) -> BTWrap<'a, Self, Self::Tree> { fn join(self, tl: Self::Tree, tr: Self::Tree) -> BTWrap<'a, Self, Self::Tree> {
@ -143,7 +147,7 @@ pub trait BinaryTreesMutable<'a>: BinaryTrees<'a> {
} }
fn add_tree(self, tree: Self::Tree, key: KeyRc<'a, Self>) -> BTWrap<'a, Self, Self::Tree> { fn add_tree(self, tree: Self::Tree, key: KeyRc<'a, Self>) -> BTWrap<'a, Self, Self::Tree> {
Self::bind(self.clone().add(tree, key), move |n| self.tree_of(n)) self.clone().tree_bind(self.add(tree, key))
} }
fn remove(self, tree: Self::Tree, key: KeyRc<'a, Self>) -> BTWrap<'a, Self, Self::Tree> { fn remove(self, tree: Self::Tree, key: KeyRc<'a, Self>) -> BTWrap<'a, Self, Self::Tree> {
@ -178,9 +182,7 @@ pub trait BinaryTreesAvl<'a>: BinaryTrees<'a> {
key: KeyRc<'a, Self>, key: KeyRc<'a, Self>,
tr: Self::Tree, tr: Self::Tree,
) -> BTWrap<'a, Self, Self::Tree> { ) -> BTWrap<'a, Self, Self::Tree> {
Self::bind(self.clone().join_key_balanced(tl, key, tr), move |node| { self.clone().tree_bind(self.join_key_balanced(tl, key, tr))
self.tree_of(node)
})
} }
fn join_key_balanced( fn join_key_balanced(