Trait tylisp::ops::list::CollateStep

pub trait CollateStep<Test, H, T> {
    type Passed;
    type Failed;
    fn collate_step(h: H, t: T) -> (Self::Passed, Self::Failed);
}

Associated Types

type Passed

type Failed

Required methods

fn collate_step(h: H, t: T) -> (Self::Passed, Self::Failed)

Implementations on Foreign Types

impl<Test, H, T> CollateStep<Test, H, T> for True where
    T: CollatedBy<Test>, 

type Passed = HCons<H, T::Passed>

type Failed = T::Failed

fn collate_step(h: H, t: T) -> (Self::Passed, Self::Failed)

impl<Test, H, T> CollateStep<Test, H, T> for False where
    T: CollatedBy<Test>, 

type Passed = T::Passed

type Failed = HCons<H, T::Failed>

fn collate_step(h: H, t: T) -> (Self::Passed, Self::Failed)

Implementors