Trait CollatedBy

pub trait CollatedBy<Test> {
    type Passed;
    type Failed;

    // Required method
    fn collate(self) -> (Self::Passed, Self::Failed);
}

Required Associated Types

type Passed

type Failed

Required Methods

fn collate(self) -> (Self::Passed, Self::Failed)

Implementors

impl<H, T, Test, Step> CollatedBy<Test> for HCons<H, T>

where HCons<Test, HCons<Quote<H>, HNil>>: Eval<Result = Step>, Step: CollateStep<Test, H, T>,

type Passed = <Step as CollateStep<Test, H, T>>::Passed

type Failed = <Step as CollateStep<Test, H, T>>::Failed

impl<T> CollatedBy<T> for HNil

type Passed = HNil

type Failed = HNil