pub struct Equation<'tree> {
pub span: Span,
pub constructors: Option<ConstructorSynonyms<'tree>>,
pub forall: Option<EquationForall<'tree>>,
pub name: Option<EquationName<'tree>>,
pub pattern: Option<EquationPattern<'tree>>,
pub patterns: Option<TypePatterns<'tree>>,
pub synonym: Option<Pattern<'tree>>,
pub children: Vec<EquationChildren<'tree>>,
}Fields§
§span: Span§constructors: Option<ConstructorSynonyms<'tree>>§forall: Option<EquationForall<'tree>>§name: Option<EquationName<'tree>>§pattern: Option<EquationPattern<'tree>>§patterns: Option<TypePatterns<'tree>>§synonym: Option<Pattern<'tree>>§children: Vec<EquationChildren<'tree>>Trait Implementations§
impl<'tree> Eq for Equation<'tree>
impl<'tree> StructuralPartialEq for Equation<'tree>
Auto Trait Implementations§
impl<'tree> Freeze for Equation<'tree>
impl<'tree> RefUnwindSafe for Equation<'tree>
impl<'tree> Send for Equation<'tree>
impl<'tree> Sync for Equation<'tree>
impl<'tree> Unpin for Equation<'tree>
impl<'tree> UnsafeUnpin for Equation<'tree>
impl<'tree> UnwindSafe for Equation<'tree>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more