Trait arithmetic_parser::StripCode

pub trait StripCode {
    type Stripped: 'static;
    fn strip_code(self) -> Self::Stripped;
}

Encapsulates stripping references to code fragments. The result can outlive the code.

Implementors of this trait are usually generic by the code lifetime: Foo<'_, ..>, with the result of stripping being Foo<'static, ..>.

Associated Types

type Stripped: 'static

Resulting type after code stripping.

Required methods

fn strip_code(self) -> Self::Stripped

Strips references to code fragments in this type.

Implementors

impl StripCode for Error<'_>

type Stripped = SpannedError<usize>

fn strip_code(self) -> Self::Stripped

impl<T: Clone + 'static> StripCode for MaybeSpanned<'_, T>

type Stripped = MaybeSpanned<'static, T>

fn strip_code(self) -> Self::Stripped