Trait epilog::unify::Unify

pub trait Unify<K: Clone, V: Clone> {
    type Error;
    fn unify_with<'a>(
        &self, 
        sub: CowSub<'a, K, V>, 
        rhs: &Self
    ) -> UResult<'a, K, V, Self::Error>;

    fn unify(&self, rhs: &Self) -> UResult<K, V, Self::Error> { ... }
}

Associated Types

type Error

Loading content...

Required methods

fn unify_with<'a>(
    &self,
    sub: CowSub<'a, K, V>,
    rhs: &Self
) -> UResult<'a, K, V, Self::Error>

Loading content...

Provided methods

fn unify(&self, rhs: &Self) -> UResult<K, V, Self::Error>

Loading content...

Implementations on Foreign Types

impl<K: Clone, V: Clone, E, T: Unify<K, V, Error = E>> Unify<K, V> for Option<T>

type Error = E

fn unify_with<'a>(
    &self,
    sub: CowSub<'a, K, V>,
    rhs: &Self
) -> UResult<'a, K, V, Self::Error>

impl<K: Clone, V: Clone, E, T: Unify<K, V, Error = E>> Unify<K, V> for Vec<T>

type Error = E

fn unify_with<'a>(
    &self,
    sub: CowSub<'a, K, V>,
    rhs: &Self
) -> UResult<'a, K, V, Self::Error>

Loading content...

Implementors

impl<K: Clone, V: Clone, E, K2: Eq + Hash, V2: Unify<K, V, Error = E>> Unify<K, V> for HashMap<K2, V2>

type Error = E

fn unify_with<'a>(
    &self,
    sub: CowSub<'a, K, V>,
    rhs: &Self
) -> UResult<'a, K, V, Self::Error>

impl<L: Clone + Eq + Hash, V: Clone + Eq + Hash> Unify<Var<V>, Ast<L, V>> for Ast<L, V>

type Error = Error

fn unify_with<'a>(
    &self,
    sub: CowSub<'a, Var<V>, Ast<L, V>>,
    rhs: &Self
) -> UResult<'a, Var<V>, Ast<L, V>, Self::Error>

impl<L: Clone + Eq + Hash, V: Clone + Eq + Hash> Unify<Var<V>, Ast<L, V>> for Term<L, V>

type Error = Error

fn unify_with<'a>(
    &self,
    sub: CowSub<'a, Var<V>, Ast<L, V>>,
    rhs: &Self
) -> UResult<'a, Var<V>, Ast<L, V>, Self::Error>

Loading content...