modus_lib::builtin

Struct copy

pub struct copy;

Trait Implementations§

impl BuiltinPredicate for copy

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 copy

impl RefUnwindSafe for copy

impl Send for copy

impl Sync for copy

impl Unpin for copy

impl UnwindSafe for copy

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.