Enum UnifyError 

pub enum UnifyError<V, L, C> {
    UnifyFailed(Term<V, L, C>, Term<V, L, C>),
    OccurCheckFailed(V, Term<V, L, C>),
    UnifyVecDiffLen(Vec<Term<V, L, C>>, Vec<Term<V, L, C>>),
}

Variants

UnifyFailed(Term<V, L, C>, Term<V, L, C>)

OccurCheckFailed(V, Term<V, L, C>)

UnifyVecDiffLen(Vec<Term<V, L, C>>, Vec<Term<V, L, C>>)

Trait Implementations

impl<V: Clone, L: Clone, C: Clone> Clone for UnifyError<V, L, C>

fn clone(&self) -> UnifyError<V, L, C>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<V: Debug, L: Debug, C: Debug> Debug for UnifyError<V, L, C>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<V: Display, L: Display, C: Display> From<UnifyError<V, L, OptCons<C>>> for Diagnostic

fn from(val: UnifyError<V, L, OptCons<C>>) -> Self

Converts to this type from the input type.