Trait Pattern

pub trait Pattern<'a>: Debug + Clone {
    type Output;

    // Required method
    fn try_match(&self, input: &'a Term) -> Result<'a, Self::Output>;

    // Provided method
    fn unmatched(&self, input: &'a Term) -> Unmatch<'a>
       where Self: 'static { ... }
}

Required Associated Types

type Output

Required Methods

fn try_match(&self, input: &'a Term) -> Result<'a, Self::Output>

Provided Methods

fn unmatched(&self, input: &'a Term) -> Unmatch<'a>

where Self: 'static,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'a> Pattern<'a> for &'static str

type Output = &'static str

fn try_match(&self, input: &'a Term) -> Result<'a, Self::Output>

impl<'a> Pattern<'a> for ()

type Output = ()

fn try_match(&self, input: &'a Term) -> Result<'a, Self::Output>

impl<'a, P0> Pattern<'a> for (P0,)

where P0: Pattern<'a> + 'static,

type Output = <P0 as Pattern<'a>>::Output

fn try_match(&self, input: &'a Term) -> Result<'a, Self::Output>

impl<'a, P0, P1> Pattern<'a> for (P0, P1)

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static,

type Output = (<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output)

fn try_match(&self, input: &'a Term) -> Result<'a, Self::Output>

impl<'a, P0, P1, P2> Pattern<'a> for (P0, P1, P2)

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static,

type Output = (<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output)

fn try_match(&self, input: &'a Term) -> Result<'a, Self::Output>

impl<'a, P0, P1, P2, P3> Pattern<'a> for (P0, P1, P2, P3)

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static, P3: Pattern<'a> + 'static,

type Output = (<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output, <P3 as Pattern<'a>>::Output)

fn try_match(&self, input: &'a Term) -> Result<'a, Self::Output>

impl<'a, P0, P1, P2, P3, P4> Pattern<'a> for (P0, P1, P2, P3, P4)

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static, P3: Pattern<'a> + 'static, P4: Pattern<'a> + 'static,

type Output = (<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output, <P3 as Pattern<'a>>::Output, <P4 as Pattern<'a>>::Output)

fn try_match(&self, input: &'a Term) -> Result<'a, Self::Output>

impl<'a, P0, P1, P2, P3, P4, P5> Pattern<'a> for (P0, P1, P2, P3, P4, P5)

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static, P3: Pattern<'a> + 'static, P4: Pattern<'a> + 'static, P5: Pattern<'a> + 'static,

type Output = (<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output, <P3 as Pattern<'a>>::Output, <P4 as Pattern<'a>>::Output, <P5 as Pattern<'a>>::Output)

fn try_match(&self, input: &'a Term) -> Result<'a, Self::Output>

Implementors

impl<'a> Pattern<'a> for Ascii

type Output = char

impl<'a> Pattern<'a> for F32

type Output = f32

impl<'a> Pattern<'a> for F64

type Output = f64

impl<'a> Pattern<'a> for I8

type Output = i8

impl<'a> Pattern<'a> for I16

type Output = i16

impl<'a> Pattern<'a> for I32

type Output = i32

impl<'a> Pattern<'a> for I64

type Output = i64

impl<'a> Pattern<'a> for Int

type Output = BigInt

impl<'a> Pattern<'a> for Nil

type Output = &'a [Term]

impl<'a> Pattern<'a> for U8

type Output = u8

impl<'a> Pattern<'a> for U16

type Output = u16

impl<'a> Pattern<'a> for U32

type Output = u32

impl<'a> Pattern<'a> for U64

type Output = u64

impl<'a> Pattern<'a> for Uint

type Output = BigUint

impl<'a> Pattern<'a> for Unicode

type Output = char

impl<'a, C> Pattern<'a> for Str<C>

where C: Pattern<'a, Output = char> + 'static,

type Output = String

impl<'a, O> Pattern<'a> for Any<O>

where O: Debug + Clone + 'static, Term: TryAsRef<O>,

type Output = &'a O

impl<'a, P0> Pattern<'a> for FixList<(P0,)>

where P0: Pattern<'a> + 'static,

type Output = <P0 as Pattern<'a>>::Output

impl<'a, P0, P1> Pattern<'a> for Cons<P0, P1>

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static,

type Output = (<P0 as Pattern<'a>>::Output, Vec<<P1 as Pattern<'a>>::Output>)

impl<'a, P0, P1> Pattern<'a> for FixList<(P0, P1)>

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static,

type Output = (<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output)

impl<'a, P0, P1> Pattern<'a> for Or<(P0, P1)>

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static,

type Output = Union2<<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output>

impl<'a, P0, P1, P2> Pattern<'a> for FixList<(P0, P1, P2)>

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static,

type Output = (<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output)

impl<'a, P0, P1, P2> Pattern<'a> for Or<(P0, P1, P2)>

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static,

type Output = Union3<<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output>

impl<'a, P0, P1, P2, P3> Pattern<'a> for FixList<(P0, P1, P2, P3)>

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static, P3: Pattern<'a> + 'static,

type Output = (<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output, <P3 as Pattern<'a>>::Output)

impl<'a, P0, P1, P2, P3> Pattern<'a> for Or<(P0, P1, P2, P3)>

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static, P3: Pattern<'a> + 'static,

type Output = Union4<<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output, <P3 as Pattern<'a>>::Output>

impl<'a, P0, P1, P2, P3, P4> Pattern<'a> for FixList<(P0, P1, P2, P3, P4)>

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static, P3: Pattern<'a> + 'static, P4: Pattern<'a> + 'static,

type Output = (<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output, <P3 as Pattern<'a>>::Output, <P4 as Pattern<'a>>::Output)

impl<'a, P0, P1, P2, P3, P4> Pattern<'a> for Or<(P0, P1, P2, P3, P4)>

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static, P3: Pattern<'a> + 'static, P4: Pattern<'a> + 'static,

type Output = Union5<<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output, <P3 as Pattern<'a>>::Output, <P4 as Pattern<'a>>::Output>

impl<'a, P0, P1, P2, P3, P4, P5> Pattern<'a> for FixList<(P0, P1, P2, P3, P4, P5)>

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static, P3: Pattern<'a> + 'static, P4: Pattern<'a> + 'static, P5: Pattern<'a> + 'static,

type Output = (<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output, <P3 as Pattern<'a>>::Output, <P4 as Pattern<'a>>::Output, <P5 as Pattern<'a>>::Output)

impl<'a, P0, P1, P2, P3, P4, P5> Pattern<'a> for Or<(P0, P1, P2, P3, P4, P5)>

where P0: Pattern<'a> + 'static, P1: Pattern<'a> + 'static, P2: Pattern<'a> + 'static, P3: Pattern<'a> + 'static, P4: Pattern<'a> + 'static, P5: Pattern<'a> + 'static,

type Output = Union6<<P0 as Pattern<'a>>::Output, <P1 as Pattern<'a>>::Output, <P2 as Pattern<'a>>::Output, <P3 as Pattern<'a>>::Output, <P4 as Pattern<'a>>::Output, <P5 as Pattern<'a>>::Output>

impl<'a, P> Pattern<'a> for VarList<P>

where P: Pattern<'a> + 'static,

type Output = Vec<<P as Pattern<'a>>::Output>