Trait skyline_web::traits::Combine

pub trait Combine {
    type I: Content + Copy + Sized;
    type J: Content + Copy + Sized;
    type K: Content + Copy + Sized;
    type Previous: ContentSequence;

    fn combine<X>(self, other: &X) -> (Self::I, Self::J, Self::K, &X)
    where
        X: Content + ?Sized;
    fn crawl_back(self) -> Self::Previous;
}

Helper trait used to rotate a queue of parent Contents. Think of this as of a rotating buffer such that:

(A, B, C, D).combine(X) -> (B, C, D, X)

This allows us to keep track of up to 3 parent contexts. The constraint is implemented so that self-referencing Contents don’t blow up the stack on compilation.

Required Associated Types

type I: Content + Copy + Sized

First type for the result tuple

type J: Content + Copy + Sized

Second type for the result tuple

type K: Content + Copy + Sized

Third type for the result tuple

type Previous: ContentSequence

Type when we crawl back one item

Required Methods

fn combine<X>(self, other: &X) -> (Self::I, Self::J, Self::K, &X)where
    X: Content + ?Sized,

Combines current tuple with a new element.

fn crawl_back(self) -> Self::Previous

Crawl back to the previous tuple

Implementations on Foreign Types

impl<A, B, C, D> Combine for (A, B, C, D)where
    A: Content + Copy,
    B: Content + Copy,
    C: Content + Copy,
    D: Content + Copy,

type I = B

type J = C

type K = D

type Previous = ((), A, B, C)

fn combine<X>(self, other: &X) -> (B, C, D, &X)where
    X: Content + ?Sized,

fn crawl_back(self) -> ((), A, B, C)

impl Combine for ()

type I = ()

type J = ()

type K = ()

type Previous = ()

fn combine<X>(self, other: &X) -> ((), (), (), &X)where
    X: Content + ?Sized,

fn crawl_back(self) -> <() as Combine>::Previous

Implementors