Trait MatchAgainst 

pub trait MatchAgainst<I> {
    type Bindings;

    // Required method
    fn match_against(&self, inputs: I) -> Option<Self::Bindings>;
}

Required Associated Types

type Bindings

Required Methods

fn match_against(&self, inputs: I) -> Option<Self::Bindings>

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl MatchAgainst<()> for ()

type Bindings = ()

fn match_against(&self, _inputs: ()) -> Option<Self::Bindings>

impl<'inputs, O0, O1, O2, O3, O4, O5, O6, O7, O8, O9, O10, O11, P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11> MatchAgainst<(&'inputs O0, &'inputs O1, &'inputs O2, &'inputs O3, &'inputs O4, &'inputs O5, &'inputs O6, &'inputs O7, &'inputs O8, &'inputs O9, &'inputs O10, &'inputs O11)> for (P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11)

where O0: Operand, O1: Operand, O2: Operand, O3: Operand, O4: Operand, O5: Operand, O6: Operand, O7: Operand, O8: Operand, O9: Operand, O10: Operand, O11: Operand, P0: Pattern<O0>, P1: Pattern<O1>, P2: Pattern<O2>, P3: Pattern<O3>, P4: Pattern<O4>, P5: Pattern<O5>, P6: Pattern<O6>, P7: Pattern<O7>, P8: Pattern<O8>, P9: Pattern<O9>, P10: Pattern<O10>, P11: Pattern<O11>,

type Bindings = (<P0 as Pattern<O0>>::Bindings, <P1 as Pattern<O1>>::Bindings, <P2 as Pattern<O2>>::Bindings, <P3 as Pattern<O3>>::Bindings, <P4 as Pattern<O4>>::Bindings, <P5 as Pattern<O5>>::Bindings, <P6 as Pattern<O6>>::Bindings, <P7 as Pattern<O7>>::Bindings, <P8 as Pattern<O8>>::Bindings, <P9 as Pattern<O9>>::Bindings, <P10 as Pattern<O10>>::Bindings, <P11 as Pattern<O11>>::Bindings)

fn match_against( &self, inputs: (&O0, &O1, &O2, &O3, &O4, &O5, &O6, &O7, &O8, &O9, &O10, &O11), ) -> Option<Self::Bindings>

impl<'inputs, O0, O1, O2, O3, O4, O5, O6, O7, O8, O9, O10, P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10> MatchAgainst<(&'inputs O0, &'inputs O1, &'inputs O2, &'inputs O3, &'inputs O4, &'inputs O5, &'inputs O6, &'inputs O7, &'inputs O8, &'inputs O9, &'inputs O10)> for (P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10)

where O0: Operand, O1: Operand, O2: Operand, O3: Operand, O4: Operand, O5: Operand, O6: Operand, O7: Operand, O8: Operand, O9: Operand, O10: Operand, P0: Pattern<O0>, P1: Pattern<O1>, P2: Pattern<O2>, P3: Pattern<O3>, P4: Pattern<O4>, P5: Pattern<O5>, P6: Pattern<O6>, P7: Pattern<O7>, P8: Pattern<O8>, P9: Pattern<O9>, P10: Pattern<O10>,

type Bindings = (<P0 as Pattern<O0>>::Bindings, <P1 as Pattern<O1>>::Bindings, <P2 as Pattern<O2>>::Bindings, <P3 as Pattern<O3>>::Bindings, <P4 as Pattern<O4>>::Bindings, <P5 as Pattern<O5>>::Bindings, <P6 as Pattern<O6>>::Bindings, <P7 as Pattern<O7>>::Bindings, <P8 as Pattern<O8>>::Bindings, <P9 as Pattern<O9>>::Bindings, <P10 as Pattern<O10>>::Bindings)

fn match_against( &self, inputs: (&O0, &O1, &O2, &O3, &O4, &O5, &O6, &O7, &O8, &O9, &O10), ) -> Option<Self::Bindings>

impl<'inputs, O0, O1, O2, O3, O4, O5, O6, O7, O8, O9, P0, P1, P2, P3, P4, P5, P6, P7, P8, P9> MatchAgainst<(&'inputs O0, &'inputs O1, &'inputs O2, &'inputs O3, &'inputs O4, &'inputs O5, &'inputs O6, &'inputs O7, &'inputs O8, &'inputs O9)> for (P0, P1, P2, P3, P4, P5, P6, P7, P8, P9)

where O0: Operand, O1: Operand, O2: Operand, O3: Operand, O4: Operand, O5: Operand, O6: Operand, O7: Operand, O8: Operand, O9: Operand, P0: Pattern<O0>, P1: Pattern<O1>, P2: Pattern<O2>, P3: Pattern<O3>, P4: Pattern<O4>, P5: Pattern<O5>, P6: Pattern<O6>, P7: Pattern<O7>, P8: Pattern<O8>, P9: Pattern<O9>,

type Bindings = (<P0 as Pattern<O0>>::Bindings, <P1 as Pattern<O1>>::Bindings, <P2 as Pattern<O2>>::Bindings, <P3 as Pattern<O3>>::Bindings, <P4 as Pattern<O4>>::Bindings, <P5 as Pattern<O5>>::Bindings, <P6 as Pattern<O6>>::Bindings, <P7 as Pattern<O7>>::Bindings, <P8 as Pattern<O8>>::Bindings, <P9 as Pattern<O9>>::Bindings)

fn match_against( &self, inputs: (&O0, &O1, &O2, &O3, &O4, &O5, &O6, &O7, &O8, &O9), ) -> Option<Self::Bindings>

impl<'inputs, O0, O1, O2, O3, O4, O5, O6, O7, O8, P0, P1, P2, P3, P4, P5, P6, P7, P8> MatchAgainst<(&'inputs O0, &'inputs O1, &'inputs O2, &'inputs O3, &'inputs O4, &'inputs O5, &'inputs O6, &'inputs O7, &'inputs O8)> for (P0, P1, P2, P3, P4, P5, P6, P7, P8)

where O0: Operand, O1: Operand, O2: Operand, O3: Operand, O4: Operand, O5: Operand, O6: Operand, O7: Operand, O8: Operand, P0: Pattern<O0>, P1: Pattern<O1>, P2: Pattern<O2>, P3: Pattern<O3>, P4: Pattern<O4>, P5: Pattern<O5>, P6: Pattern<O6>, P7: Pattern<O7>, P8: Pattern<O8>,

type Bindings = (<P0 as Pattern<O0>>::Bindings, <P1 as Pattern<O1>>::Bindings, <P2 as Pattern<O2>>::Bindings, <P3 as Pattern<O3>>::Bindings, <P4 as Pattern<O4>>::Bindings, <P5 as Pattern<O5>>::Bindings, <P6 as Pattern<O6>>::Bindings, <P7 as Pattern<O7>>::Bindings, <P8 as Pattern<O8>>::Bindings)

fn match_against( &self, inputs: (&O0, &O1, &O2, &O3, &O4, &O5, &O6, &O7, &O8), ) -> Option<Self::Bindings>

impl<'inputs, O0, O1, O2, O3, O4, O5, O6, O7, P0, P1, P2, P3, P4, P5, P6, P7> MatchAgainst<(&'inputs O0, &'inputs O1, &'inputs O2, &'inputs O3, &'inputs O4, &'inputs O5, &'inputs O6, &'inputs O7)> for (P0, P1, P2, P3, P4, P5, P6, P7)

where O0: Operand, O1: Operand, O2: Operand, O3: Operand, O4: Operand, O5: Operand, O6: Operand, O7: Operand, P0: Pattern<O0>, P1: Pattern<O1>, P2: Pattern<O2>, P3: Pattern<O3>, P4: Pattern<O4>, P5: Pattern<O5>, P6: Pattern<O6>, P7: Pattern<O7>,

type Bindings = (<P0 as Pattern<O0>>::Bindings, <P1 as Pattern<O1>>::Bindings, <P2 as Pattern<O2>>::Bindings, <P3 as Pattern<O3>>::Bindings, <P4 as Pattern<O4>>::Bindings, <P5 as Pattern<O5>>::Bindings, <P6 as Pattern<O6>>::Bindings, <P7 as Pattern<O7>>::Bindings)

fn match_against( &self, inputs: (&O0, &O1, &O2, &O3, &O4, &O5, &O6, &O7), ) -> Option<Self::Bindings>

impl<'inputs, O0, O1, O2, O3, O4, O5, O6, P0, P1, P2, P3, P4, P5, P6> MatchAgainst<(&'inputs O0, &'inputs O1, &'inputs O2, &'inputs O3, &'inputs O4, &'inputs O5, &'inputs O6)> for (P0, P1, P2, P3, P4, P5, P6)

where O0: Operand, O1: Operand, O2: Operand, O3: Operand, O4: Operand, O5: Operand, O6: Operand, P0: Pattern<O0>, P1: Pattern<O1>, P2: Pattern<O2>, P3: Pattern<O3>, P4: Pattern<O4>, P5: Pattern<O5>, P6: Pattern<O6>,

type Bindings = (<P0 as Pattern<O0>>::Bindings, <P1 as Pattern<O1>>::Bindings, <P2 as Pattern<O2>>::Bindings, <P3 as Pattern<O3>>::Bindings, <P4 as Pattern<O4>>::Bindings, <P5 as Pattern<O5>>::Bindings, <P6 as Pattern<O6>>::Bindings)

fn match_against( &self, inputs: (&O0, &O1, &O2, &O3, &O4, &O5, &O6), ) -> Option<Self::Bindings>

impl<'inputs, O0, O1, O2, O3, O4, O5, P0, P1, P2, P3, P4, P5> MatchAgainst<(&'inputs O0, &'inputs O1, &'inputs O2, &'inputs O3, &'inputs O4, &'inputs O5)> for (P0, P1, P2, P3, P4, P5)

where O0: Operand, O1: Operand, O2: Operand, O3: Operand, O4: Operand, O5: Operand, P0: Pattern<O0>, P1: Pattern<O1>, P2: Pattern<O2>, P3: Pattern<O3>, P4: Pattern<O4>, P5: Pattern<O5>,

type Bindings = (<P0 as Pattern<O0>>::Bindings, <P1 as Pattern<O1>>::Bindings, <P2 as Pattern<O2>>::Bindings, <P3 as Pattern<O3>>::Bindings, <P4 as Pattern<O4>>::Bindings, <P5 as Pattern<O5>>::Bindings)

fn match_against( &self, inputs: (&O0, &O1, &O2, &O3, &O4, &O5), ) -> Option<Self::Bindings>

impl<'inputs, O0, O1, O2, O3, O4, P0, P1, P2, P3, P4> MatchAgainst<(&'inputs O0, &'inputs O1, &'inputs O2, &'inputs O3, &'inputs O4)> for (P0, P1, P2, P3, P4)

where O0: Operand, O1: Operand, O2: Operand, O3: Operand, O4: Operand, P0: Pattern<O0>, P1: Pattern<O1>, P2: Pattern<O2>, P3: Pattern<O3>, P4: Pattern<O4>,

type Bindings = (<P0 as Pattern<O0>>::Bindings, <P1 as Pattern<O1>>::Bindings, <P2 as Pattern<O2>>::Bindings, <P3 as Pattern<O3>>::Bindings, <P4 as Pattern<O4>>::Bindings)

fn match_against( &self, inputs: (&O0, &O1, &O2, &O3, &O4), ) -> Option<Self::Bindings>

impl<'inputs, O0, O1, O2, O3, P0, P1, P2, P3> MatchAgainst<(&'inputs O0, &'inputs O1, &'inputs O2, &'inputs O3)> for (P0, P1, P2, P3)

where O0: Operand, O1: Operand, O2: Operand, O3: Operand, P0: Pattern<O0>, P1: Pattern<O1>, P2: Pattern<O2>, P3: Pattern<O3>,

type Bindings = (<P0 as Pattern<O0>>::Bindings, <P1 as Pattern<O1>>::Bindings, <P2 as Pattern<O2>>::Bindings, <P3 as Pattern<O3>>::Bindings)

fn match_against(&self, inputs: (&O0, &O1, &O2, &O3)) -> Option<Self::Bindings>

impl<'inputs, O0, O1, O2, P0, P1, P2> MatchAgainst<(&'inputs O0, &'inputs O1, &'inputs O2)> for (P0, P1, P2)

where O0: Operand, O1: Operand, O2: Operand, P0: Pattern<O0>, P1: Pattern<O1>, P2: Pattern<O2>,

type Bindings = (<P0 as Pattern<O0>>::Bindings, <P1 as Pattern<O1>>::Bindings, <P2 as Pattern<O2>>::Bindings)

fn match_against(&self, inputs: (&O0, &O1, &O2)) -> Option<Self::Bindings>

impl<'inputs, O0, O1, P0, P1> MatchAgainst<(&'inputs O0, &'inputs O1)> for (P0, P1)

where O0: Operand, O1: Operand, P0: Pattern<O0>, P1: Pattern<O1>,

type Bindings = (<P0 as Pattern<O0>>::Bindings, <P1 as Pattern<O1>>::Bindings)

fn match_against(&self, inputs: (&O0, &O1)) -> Option<Self::Bindings>

impl<'inputs, O0, P0> MatchAgainst<(&'inputs O0,)> for (P0,)

where O0: Operand, P0: Pattern<O0>,

type Bindings = (<P0 as Pattern<O0>>::Bindings,)

fn match_against(&self, inputs: (&O0,)) -> Option<Self::Bindings>

Implementors