Trait SubWith

pub trait SubWith<K: Eq + Hash, V>: Sized {
    type Error;

    // Required method
    fn sub(&self, sub: &Sub<K, V>) -> Result<Self, Self::Error>;

    // Provided method
    fn with(&self, key: K, val: V) -> Result<Self, Self::Error> { ... }
}

Required Associated Types

type Error

Required Methods

fn sub(&self, sub: &Sub<K, V>) -> Result<Self, Self::Error>

Provided Methods

fn with(&self, key: K, val: V) -> Result<Self, Self::Error>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<K: Eq + Hash, V, E, T: SubWith<K, V, Error = E>> SubWith<K, V> for Option<T>

type Error = E

fn sub(&self, sub: &Sub<K, V>) -> Result<Self, Self::Error>

impl<K: Eq + Hash, V, E, T: SubWith<K, V, Error = E>> SubWith<K, V> for Vec<T>

type Error = E

fn sub(&self, sub: &Sub<K, V>) -> Result<Self, Self::Error>

Implementors

impl<'a, K: Clone + Eq + Hash, V: Clone + SubWith<K, V, Error = E>, E> SubWith<K, V> for CowSub<'a, K, V>

type Error = E

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

type Error = E

impl<K: Clone + Eq + Hash, V: SubWith<K, V, Error = E>, E> SubWith<K, V> for Sub<K, V>

type Error = E

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

type Error = Error

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

type Error = Error