Struct Bind 

pub struct Bind<A: AstTypes = DefaultTypes>(pub BindOp, pub Vec<A::Path>, pub Pat<A>, pub Vec<At<Expr<A>, A>>);

A pattern binding

let    Pat (= Expr (else Expr)?)?
type   Pat (= Expr)?
fn     Pat =? Expr
mod    Pat =? Expr
impl   Pat =? Expr
struct Pat
enum   Pat
for    Pat in Expr Expr (else Expr)?

Tuple Fields

0: BindOp

1: Vec<A::Path>

2: Pat<A>

3: Vec<At<Expr<A>, A>>

Trait Implementations

impl<A: Clone + AstTypes> Clone for Bind<A>

where A::Path: Clone,

fn clone(&self) -> Bind<A>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: Debug + AstTypes> Debug for Bind<A>

where A::Path: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<A: AstTypes> Display for Bind<A>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<A: AstTypes, B: AstTypes> Foldable<A, B> for Bind<A>

type Out = Bind<B>

The return type of the associated Fold function

fn fold_in<F: Fold<A, B> + ?Sized>( self, folder: &mut F, ) -> Result<Self::Out, F::Error>

Calls Self’s appropriate Folder function(s)

fn children<F: Fold<A, B> + ?Sized>( self, folder: &mut F, ) -> Result<Self::Out, F::Error>

Destructures self, calling Foldable::fold_in on all foldable members, and rebuilds a Self out of the results.

impl<A: Hash + AstTypes> Hash for Bind<A>

where A::Path: Hash,

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<A: AstTypes> Match<A> for Bind<A>

fn recurse(sub: &mut Subst<A>, pat: &Self, expr: &Self) -> bool

Implements recursive Subst-building for Self

fn apply(&mut self, sub: &Subst<A>)

With self as the pattern, recursively applies the Subst

fn apply_rule(&mut self, pat: &Self, template: &Self) -> bool

where Self: Sized + Clone,

Applies a substitution rule from pat to template on self

fn match_with(&self, pat: &Self) -> Option<Subst<A>>

Matches self against the provided pattern

impl<A: PartialEq + AstTypes> PartialEq for Bind<A>

where A::Path: PartialEq,

fn eq(&self, other: &Bind<A>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a, A: AstTypes> Walk<'a, A> for Bind<A>

fn children<V: Visit<'a, A> + ?Sized>( &'a self, v: &mut V, ) -> Result<(), V::Error>

fn visit_in<V: Visit<'a, A> + ?Sized>( &'a self, v: &mut V, ) -> Result<(), V::Error>

impl<A: Eq + AstTypes> Eq for Bind<A>

where A::Path: Eq,

impl<A: AstTypes> StructuralPartialEq for Bind<A>