Trait rational_deduction::Structure [−][src]
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
.
Provided methods
fn into(self) -> E where
Self: Sized,
[src]
Self: Sized,
Converts self
into an instance of E: Expression
.
fn try_from(expr: E) -> Result<Self, S::Error> where
Self: Sized,
[src]
Self: Sized,
Tries to build Self
from an instance of E: Expression
.