Struct modus_lib::modusfile::ModusClause
source · [−]pub struct ModusClause {
pub head: Literal<ModusTerm>,
pub body: Option<Expression>,
}
Fields
head: Literal<ModusTerm>
body: Option<Expression>
Trait Implementations
sourceimpl Clone for ModusClause
impl Clone for ModusClause
sourcefn clone(&self) -> ModusClause
fn clone(&self) -> ModusClause
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for ModusClause
impl Debug for ModusClause
sourceimpl Display for ModusClause
impl Display for ModusClause
sourceimpl From<&'_ ModusClause> for Vec<Clause>
impl From<&'_ ModusClause> for Vec<Clause>
sourcefn 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.
sourceimpl FromStr for ModusClause
impl FromStr for ModusClause
sourceimpl PartialEq<ModusClause> for ModusClause
impl PartialEq<ModusClause> for ModusClause
sourcefn eq(&self, other: &ModusClause) -> bool
fn eq(&self, other: &ModusClause) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
sourcefn ne(&self, other: &ModusClause) -> bool
fn ne(&self, other: &ModusClause) -> bool
This method tests for !=
.
impl StructuralPartialEq for ModusClause
Auto Trait Implementations
impl RefUnwindSafe for ModusClause
impl Send for ModusClause
impl Sync for ModusClause
impl Unpin for ModusClause
impl UnwindSafe for ModusClause
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
sourcefn 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
impl<T> Indentable for T where
T: Display,
impl<T> Indentable for T where
T: Display,
fn indented_skip_initial(self, indent: &str) -> IndentedSkipIntial<'_, Self>
fn indented_skip_initial(self, indent: &str) -> IndentedSkipIntial<'_, Self>
sourceimpl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
sourcefn 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
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more