Trait gluon_completion::Extract

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

Associated Types

type Output

Loading content...

Required methods

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

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

Loading content...

Implementations on Foreign Types

impl<'a, A: Extract<'a>, B: Extract<'a>, C: Extract<'a>, D: Extract<'a>, E: Extract<'a>, F: Extract<'a>, G: Extract<'a>, H: Extract<'a>> Extract<'a> 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<'a, '_>) -> Result<Self::Output, ()>

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

impl<'a, B: Extract<'a>, C: Extract<'a>, D: Extract<'a>, E: Extract<'a>, F: Extract<'a>, G: Extract<'a>, H: Extract<'a>> Extract<'a> 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<'a, '_>) -> Result<Self::Output, ()>

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

impl<'a, C: Extract<'a>, D: Extract<'a>, E: Extract<'a>, F: Extract<'a>, G: Extract<'a>, H: Extract<'a>> Extract<'a> 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<'a, '_>) -> Result<Self::Output, ()>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Loading content...

Implementors

impl<'a> Extract<'a> for IdentAt

type Output = &'a SymbolRef

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

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

impl<'a> Extract<'a> for SpanAt

type Output = Span<BytePos>

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

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

impl<'a> Extract<'a> for TypeAt<'a>

type Output = Either<ArcKind, ArcType>

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

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

Loading content...