Trait gluon_completion::Extract

pub trait Extract: Sized {
    type Output;
    fn extract(self, found: &Found) -> Result<Self::Output, ()>;
    fn match_extract(self, match_: &Match) -> Result<Self::Output, ()>;
}

Associated Types

type Output

Required Methods

fn extract(self, found: &Found) -> Result<Self::Output, ()>

fn match_extract(self, match_: &Match) -> Result<Self::Output, ()>

Implementations on Foreign Types

impl<A: Extract, B: Extract, C: Extract, D: Extract, E: Extract, F: Extract, G: Extract, H: Extract> Extract for (A, B, C, D, E, F, G, H)

type Output = (A::Output, B::Output, C::Output, D::Output, E::Output, F::Output, G::Output, H::Output)

fn extract(self, found: &Found) -> Result<Self::Output, ()>

fn match_extract(self, found: &Match) -> Result<Self::Output, ()>

impl<B: Extract, C: Extract, D: Extract, E: Extract, F: Extract, G: Extract, H: Extract> Extract for (B, C, D, E, F, G, H)

type Output = (B::Output, C::Output, D::Output, E::Output, F::Output, G::Output, H::Output)

fn extract(self, found: &Found) -> Result<Self::Output, ()>

fn match_extract(self, found: &Match) -> Result<Self::Output, ()>

impl<C: Extract, D: Extract, E: Extract, F: Extract, G: Extract, H: Extract> Extract for (C, D, E, F, G, H)

type Output = (C::Output, D::Output, E::Output, F::Output, G::Output, H::Output)

fn extract(self, found: &Found) -> Result<Self::Output, ()>

fn match_extract(self, found: &Match) -> Result<Self::Output, ()>

impl<D: Extract, E: Extract, F: Extract, G: Extract, H: Extract> Extract for (D, E, F, G, H)

type Output = (D::Output, E::Output, F::Output, G::Output, H::Output)

fn extract(self, found: &Found) -> Result<Self::Output, ()>

fn match_extract(self, found: &Match) -> Result<Self::Output, ()>

impl<E: Extract, F: Extract, G: Extract, H: Extract> Extract for (E, F, G, H)

type Output = (E::Output, F::Output, G::Output, H::Output)

fn extract(self, found: &Found) -> Result<Self::Output, ()>

fn match_extract(self, found: &Match) -> Result<Self::Output, ()>

impl<F: Extract, G: Extract, H: Extract> Extract for (F, G, H)

type Output = (F::Output, G::Output, H::Output)

fn extract(self, found: &Found) -> Result<Self::Output, ()>

fn match_extract(self, found: &Match) -> Result<Self::Output, ()>

impl<G: Extract, H: Extract> Extract for (G, H)

type Output = (G::Output, H::Output)

fn extract(self, found: &Found) -> Result<Self::Output, ()>

fn match_extract(self, found: &Match) -> Result<Self::Output, ()>

Implementors

• impl<'a> Extract for TypeAt<'a> type Output = ArcType;
• impl Extract for IdentAt type Output = Symbol;
• impl Extract for SpanAt type Output = Span<BytePos>;