Trait radn::rstd::collections::stack::ExtStack

pub trait ExtStack<'a, Ctx: Context<'a>, A: MentionableBase<'a>>: MentionableBase<'a> {
    // Required methods
    fn empty(factory: A::Fctr) -> Self;
    fn f(factory: A::Fctr) -> Self::Fctr;
    fn add(self, element: A) -> Self;
}

Extention trait with helper methods for Stacks.

Required Methods

fn empty(factory: A::Fctr) -> Self

Get an empty stack (Nullable::Null).

fn f(factory: A::Fctr) -> Self::Fctr

Get the corresponding factory.

fn add(self, element: A) -> Self

Add one element.

Note: consumes the stack. For non-consuming version do .clone() before adding.

Implementors

impl<'a, Ctx: Context<'a>, A: Mentionable<'a, Ctx>> ExtStack<'a, Ctx, A> for Stack<'a, Ctx, A>where StackNode<'a, Ctx, A>: Mentionable<'a, Ctx, _Fctr = StackNodeFactory<Ctx, A::Fctr>>,