Trait agnes::label::SubsetClonePred

pub trait SubsetClonePred<LabelList, IsMember> {
    type Output;
    fn subset_clone_pred(&self) -> Self::Output;
}

Helper trait. Used by $trait_name for computing the subset of Self cons-list which contains the labels in LabelList, and applying $req_fn to that subset.

IsMember specifies whether or not the label of the head value of Self is a member of LabelList.

Associated Types

type Output

Output of applying $req_fn to values in this cons-list if IsMember is True.

Loading content...

Required methods

fn subset_clone_pred(&self) -> Self::Output

Apply $req_fn to value in the head of this cons-list if IsMember is True.

Loading content...

Implementors

impl<LabelList, H, T> SubsetClonePred<LabelList, B0> for Cons<H, T> where
    T: SubsetClone<LabelList>, 

type Output = <T as SubsetClone<LabelList>>::Output

fn subset_clone_pred(&self) -> Self::Output

impl<LabelList, H, T> SubsetClonePred<LabelList, B1> for Cons<H, T> where
    T: SubsetClone<LabelList>,
    H: Clone, 

type Output = Cons<H, <T as SubsetClone<LabelList>>::Output>

fn subset_clone_pred(&self) -> Self::Output

Loading content...