[−][src]Trait agnes::label::SubsetClonePred
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
.
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
.
Implementors
impl<LabelList, H, T> SubsetClonePred<LabelList, B0> for Cons<H, T> where
T: SubsetClone<LabelList>,
[src]
T: SubsetClone<LabelList>,
type Output = <T as SubsetClone<LabelList>>::Output
fn subset_clone_pred(&self) -> Self::Output
[src]
impl<LabelList, H, T> SubsetClonePred<LabelList, B1> for Cons<H, T> where
T: SubsetClone<LabelList>,
H: Clone,
[src]
T: SubsetClone<LabelList>,
H: Clone,