Trait Shiftable

pub trait Shiftable<'a> {
    type Inner: ?Sized + Substitution<'a>;

    // Required method
    fn shifted<'c>(&'c self) -> Shifted<'c, Self::Inner>;
}

A substitution that can be converted into a Shifted substitution. All types other than Shifted itself should implement this with the obvious option of

impl<'a> Shiftable<'a> for A {
    type Inner = Self;
    fn shifted<'b>(&'b self) -> Shifted<'b, Self::Inner> { Shifted::new(self) }
}

Unfortunately, it is not reasonably possible to provide this automatically without specialization.

Required Associated Types

type Inner: ?Sized + Substitution<'a>

Required Methods

fn shifted<'c>(&'c self) -> Shifted<'c, Self::Inner>

Implementors

impl<'a> Shiftable<'a> for Closing

type Inner = Closing

impl<'a> Shiftable<'a> for Opening

type Inner = Opening

impl<'a, 'b, A: ?Sized + Substitution<'a>> Shiftable<'a> for Shifted<'b, A>

type Inner = A

impl<'c, 'p, 'a> Shiftable<'a> for Innerize<'c, 'p, 'a>

type Inner = Innerize<'c, 'p, 'a>