Trait epilog::sub::SubWith

pub trait SubWith<K: Eq + Hash, V>: Sized {
    type Error;
    fn sub(&self, sub: &Sub<K, V>) -> Result<Self, Self::Error>;

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

Associated Types

type Error

Loading content...

Required methods

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

Loading content...

Provided methods

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

Loading content...

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>

Loading content...

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

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

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

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

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

type Error = E

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

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

type Error = Error

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

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

type Error = Error

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

Loading content...