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

rework BinaryTrees

Browse Source
This commit is contained in:
AF 2023-05-29 16:34:57 +00:00
parent d27a53bcb8
commit f5791c930d
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/flow/binary.rs
View File

@ -12,7 +12,7 @@ pub type KeyRc<'a, BT> = Rc<<BT as BinaryTrees<'a>>::Key>;
pub type Split<'a, BT> = (TreeRc<'a, BT>, TreeRc<'a, BT>, KeyRc<'a, BT>);
pub type KeySplit<'a, BT> = (TreeRc<'a, BT>, TreeRc<'a, BT>);
pub type Wrapped<'a, BT, A> = Wrap<'a, A, <BT as BinaryTrees<'a>>::T>;
pub type BTWrap<'a, BT, A> = Wrap<'a, A, <BT as BinaryTrees<'a>>::T>;
pub trait BinaryTrees<'a>: 'a {
type Node: 'a;
@ -24,11 +24,11 @@ pub trait BinaryTrees<'a>: 'a {
type T: Monad<'a>;
fn comparator(&self) -> &Self::Comparator;
fn split(&self, node: Self::Node) -> Split<'a, Self>;
fn to_tree(&self, node: Self::Node) -> TreeRc<'a, Self>;
fn resolve(&self, reference: Self::Reference) -> Wrapped<'a, Self, NodeRc<'a, Self>>;
fn equal(&self, rhs: Self::Reference, lhs: Self::Reference) -> bool;
fn refer(&self, tree: Self::Tree) -> Option<ReferenceRc<'a, Self>>;
fn split(&self, node: &Self::Node) -> Split<'a, Self>;
fn tree_of(&self, node: Self::Node) -> TreeRc<'a, Self>;
fn resolve(&self, reference: &Self::Reference) -> BTWrap<'a, Self, NodeRc<'a, Self>>;
fn equal(&self, rhs: &Self::Reference, lhs: &Self::Reference) -> bool;
fn refer(&self, tree: &Self::Tree) -> Option<ReferenceRc<'a, Self>>;
}
pub trait BinaryTreesMutable<'a>: BinaryTrees<'a> {
@ -37,11 +37,11 @@ pub trait BinaryTreesMutable<'a>: BinaryTrees<'a> {
tl: Self::Tree,
key: KeyRc<'a, Self>,
tr: Self::Tree,
) -> Wrapped<'a, Self, NodeRc<'a, Self>>;
fn join(&self, tl: Self::Tree, tr: Self::Tree) -> Wrapped<'a, Self, TreeRc<'a, Self>>;
) -> BTWrap<'a, Self, NodeRc<'a, Self>>;
fn join(&self, tl: Self::Tree, tr: Self::Tree) -> BTWrap<'a, Self, TreeRc<'a, Self>>;
fn split_key(
&self,
tree: Self::Tree,
key: KeyRc<'a, Self>,
) -> Wrapped<'a, Self, KeySplit<'a, Self>>;
) -> BTWrap<'a, Self, KeySplit<'a, Self>>;
}