pub struct ModusClause {
pub head: Literal<ModusTerm>,
pub body: Option<Expression>,
}
Fields§
§head: Literal<ModusTerm>
§body: Option<Expression>
Trait Implementations§
Source§impl Clone for ModusClause
impl Clone for ModusClause
Source§fn clone(&self) -> ModusClause
fn clone(&self) -> ModusClause
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for ModusClause
impl Debug for ModusClause
Source§impl Display for ModusClause
impl Display for ModusClause
Source§impl From<&ModusClause> for Vec<Clause>
impl From<&ModusClause> for Vec<Clause>
Source§fn from(modus_clause: &ModusClause) -> Self
fn from(modus_clause: &ModusClause) -> Self
Convert a ModusClause into one supported by the IR. It converts logical or/; into multiple rules, which should be equivalent.
Source§impl FromStr for ModusClause
impl FromStr for ModusClause
Source§impl PartialEq for ModusClause
impl PartialEq for ModusClause
impl StructuralPartialEq for ModusClause
Auto Trait Implementations§
impl Freeze for ModusClause
impl RefUnwindSafe for ModusClause
impl Send for ModusClause
impl Sync for ModusClause
impl Unpin for ModusClause
impl UnwindSafe for ModusClause
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
Source§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original
input to the nom parser, extract more the useful context information. Read more
Source§impl<T> Indentable for Twhere
T: Display,
impl<T> Indentable for Twhere
T: Display,
Source§fn indented_skip_initial(self, indent: &str) -> IndentedSkipIntial<'_, Self>
fn indented_skip_initial(self, indent: &str) -> IndentedSkipIntial<'_, Self>
Source§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
Source§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom,
recreate a context in the original string where the error occurred. Read more