Trait radn::flow::binary::bound::BinaryTreesBindable

pub trait BinaryTreesBindable<'a>: MonadTrees<'a> {
    // Required method
    fn bounds_error<T: 'a + Send>(
        &self,
        error: BoundsError<Self::Key>
    ) -> BTWrap<'a, Self, T>;

    // Provided method
    fn bounds_bind<A: 'a + Send, B: 'a + Send>(
        &self,
        ra: Result<A, BoundsError<Self::Key>>,
        f: impl FnOnce(A) -> BTWrap<'a, Self, B>
    ) -> BTWrap<'a, Self, B> { ... }
}

Required Methods

fn bounds_error<T: 'a + Send>( &self, error: BoundsError<Self::Key> ) -> BTWrap<'a, Self, T>

Provided Methods

fn bounds_bind<A: 'a + Send, B: 'a + Send>( &self, ra: Result<A, BoundsError<Self::Key>>, f: impl FnOnce(A) -> BTWrap<'a, Self, B> ) -> BTWrap<'a, Self, B>

Implementors

impl<'a, A: 'a + Send + Sync + Ord + Clone> BinaryTreesBindable<'a> for Trees<A>

impl<'a, BT> BinaryTreesBindable<'a> for BalancedTrees<BT>where BT: BinaryTreesUnbalanced<'a> + BinaryTreesBindable<'a>,

impl<'a, Ctx: Context<'a>, A: Mentionable<'a, Ctx> + Clone, C: 'a + Comparator<A>, E: 'a + Send + From<BoundsError<A>>> BinaryTreesBindable<'a> for TreeContext2<'a, Ctx, A, C, E>