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

BinaryTreesMutable

Browse Source
This commit is contained in:
AF 2023-05-28 20:48:44 +00:00
parent 6b1fb24fd8
commit ea161728a6
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/flow/binary.rs
View File

@ -20,14 +20,14 @@ pub trait BinaryTrees<'a>: 'a {
type T: Monad<'a>; type T: Monad<'a>;
fn split(node: Self::Node) -> Wrapped<'a, Self, Split<'a, Self>>; fn split(node: Self::Node) -> Split<'a, Self>;
fn to_tree(node: Self::Node) -> TreeRc<'a, Self>; fn to_tree(node: Self::Node) -> TreeRc<'a, Self>;
fn to_tree_construct(&self, node: Self::Node) -> TreeRc<'a, Self> {
Self::to_tree(node)
}
fn resolve(reference: Self::Reference) -> Wrapped<'a, Self, NodeRc<'a, Self>>; fn resolve(reference: Self::Reference) -> Wrapped<'a, Self, NodeRc<'a, Self>>;
fn equal(rhs: Self::Reference, lhs: Self::Reference) -> bool; fn equal(rhs: Self::Reference, lhs: Self::Reference) -> bool;
fn refer(tree: Self::Tree) -> Option<ReferenceRc<'a, Self>>; fn refer(tree: Self::Tree) -> Option<ReferenceRc<'a, Self>>;
}
pub trait BinaryTreesMutable<'a>: BinaryTrees<'a> {
fn join_key( fn join_key(
tl: Self::Tree, tl: Self::Tree,
key: KeyRc<'a, Self>, key: KeyRc<'a, Self>,