Trait exprz::shape::Shape[−][src]

pub trait Shape<E> where
    Self: Sized + Into<E>,
    E: Expression, {
    type Error;
    fn matches_atom(atom: &E::Atom) -> Result<(), Self::Error>;

    fn matches_group(
        group: <E::Group as IntoIteratorGen<E>>::IterGen
    ) -> Result<(), Self::Error>;

    fn convert_atom(atom: E::Atom) -> Result<Self, Self::Error>;

    fn convert_group(group: E::Group) -> Result<Self, Self::Error>;

    fn matches(expr: &E) -> Result<(), Self::Error> { ... }

    fn convert(expr: E) -> Result<Self, Self::Error> { ... }
}
This is supported on crate feature shape only.

Shape Trait

Associated Types

type Error[src]

Shape Error

Loading content...

Required methods

fn matches_atom(atom: &E::Atom) -> Result<(), Self::Error>[src]

Checks if the given atom matches the shape.

fn matches_group(
    group: <E::Group as IntoIteratorGen<E>>::IterGen
) -> Result<(), Self::Error>[src]

Checks if the given group matches the shape.

fn convert_atom(atom: E::Atom) -> Result<Self, Self::Error>[src]

Converts the given atom into the shape.

fn convert_group(group: E::Group) -> Result<Self, Self::Error>[src]

Converts the given group into the shape.

Loading content...

Provided methods

fn matches(expr: &E) -> Result<(), Self::Error>[src]

Checks if the given expression matches the shape.

fn convert(expr: E) -> Result<Self, Self::Error>[src]

Converts the given expression into the shape.

Loading content...

Implementors

Loading content...