modus_lib::builtin

Struct run

pub struct run;

Trait Implementations§

impl BuiltinPredicate for run

fn name(&self) -> &'static str

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

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.

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 run

impl RefUnwindSafe for run

impl Send for run

impl Sync for run

impl Unpin for run

impl UnwindSafe for run

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<I, T> ExtractContext<I, ()> for T

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> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<I> RecreateContext<I> for 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

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.