Trait rational_deduction::Structure[−][src]

pub trait Structure<E, S> where
    E: Expression,
    S: Into<Expr<E>> + TryFrom<Expr<E>>, {
    fn from(structure: S) -> Self;

    fn structure(self) -> S;

    fn into(self) -> E
    where
        Self: Sized,
    { ... }

    fn try_from(expr: E) -> Result<Self, S::Error>
    where
        Self: Sized,
    { ... }
}

Structure Trait

Required methods

fn from(structure: S) -> Self[src]

Builds Self from the given structure value.

fn structure(self) -> S[src]

Extracts the structure value from self.

Loading content...

Provided methods

fn into(self) -> E where
    Self: Sized, [src]

Converts self into an instance of E: Expression.

fn try_from(expr: E) -> Result<Self, S::Error> where
    Self: Sized, [src]

Tries to build Self from an instance of E: Expression.

Loading content...

Implementors

impl<E, S> Structure<E, S> for S where
    E: Expression,
    S: Into<Expr<E>> + TryFrom<Expr<E>>, [src]

Loading content...