pub struct _operator_set_cmd_end;
Trait Implementations§
Source§impl BuiltinPredicate for _operator_set_cmd_end
impl BuiltinPredicate for _operator_set_cmd_end
fn name(&self) -> &'static str
Source§fn kind(&self) -> Kind
fn kind(&self) -> Kind
The kind of this predicate or operator.
Should match https://github.com/modus-continens/docs/blob/main/src/library/README.md
Source§fn arg_groundness(&self) -> &'static [bool]
fn arg_groundness(&self) -> &'static [bool]
Return if the argument is allowed to be ungrounded. This means that a “false” here will force a constant.
Source§fn apply(&self, lit: &Literal) -> Option<Literal>
fn apply(&self, lit: &Literal) -> Option<Literal>
Return a new literal specifically constructed to unify with the input
literal. The returned literal will essentially be used as the head of a
new “hidden” rule, which will hopefully unify with the input literal.
The rule will contain no body literals. Read more
fn select(&self, lit: &Literal) -> SelectBuiltinResult
Auto Trait Implementations§
impl Freeze for _operator_set_cmd_end
impl RefUnwindSafe for _operator_set_cmd_end
impl Send for _operator_set_cmd_end
impl Sync for _operator_set_cmd_end
impl Unpin for _operator_set_cmd_end
impl UnwindSafe for _operator_set_cmd_end
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<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<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