Trait agnes::label::SubsetClone

pub trait SubsetClone<LabelList> {
    type Output;
    fn subset_clone(&self) -> Self::Output;
}

Trait for calling function $req_fn of trait $req_trait for all values of a cons-list which match a specified LabelList.

Any labels in LabelList not found in Self will be ignored (see HasLabels for a trait that requires all members of LabelList to be found).

Associated Types

type Output

Output of applying $req_fn to values in this cons-list which match labels in LabelList.

Loading content...

Required methods

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

Apply $req_fn to value in the head of this cons-list if label of head matches labels of LabelList.

Loading content...

Implementors

impl<LabelList> SubsetClone<LabelList> for Nil

type Output = Nil

fn subset_clone(&self) -> Nil

impl<LabelList, L, V, T> SubsetClone<LabelList> for LVCons<L, V, T> where
    LabelList: Member<L>,
    Self: SubsetClonePred<LabelList, <LabelList as Member<L>>::IsMember>, 

type Output = <LVCons<L, V, T> as SubsetClonePred<LabelList, <LabelList as Member<L>>::IsMember>>::Output

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

Loading content...