Function adapton::catalog::collections::filter_tree_of_tree [−] [src]

pub fn filter_tree_of_tree<Lev: Level, X: Hash + Clone + 'static, Te: TreeElim<Lev, X> + 'static, Ti: TreeIntro<Lev, X> + TreeElim<Lev, X> + 'static>(
    tree: Te, 
    pred: Box<Fn(&X) -> bool>
) -> Ti

Filter the leaf elements of a tree using a user-provided predicate, pred. Returns a tree of the elements for which the predicate returns true. Retains all names from the original tree, even if they merely name empty sub-trees.