From ea161728a645198fbc8e86be4bd0062562de3d04 Mon Sep 17 00:00:00 2001 From: timofey Date: Sun, 28 May 2023 20:48:44 +0000 Subject: [PATCH] `BinaryTreesMutable` --- src/flow/binary.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/flow/binary.rs b/src/flow/binary.rs index 914e1da..1bf95d4 100644 --- a/src/flow/binary.rs +++ b/src/flow/binary.rs @@ -20,14 +20,14 @@ pub trait BinaryTrees<'a>: '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_construct(&self, node: Self::Node) -> TreeRc<'a, Self> { - Self::to_tree(node) - } fn resolve(reference: Self::Reference) -> Wrapped<'a, Self, NodeRc<'a, Self>>; fn equal(rhs: Self::Reference, lhs: Self::Reference) -> bool; fn refer(tree: Self::Tree) -> Option>; +} + +pub trait BinaryTreesMutable<'a>: BinaryTrees<'a> { fn join_key( tl: Self::Tree, key: KeyRc<'a, Self>,