Trait rational_deduction::stored::Resolvable

pub trait Resolvable<K> {
    type Part;
    type Output;
    type UnresolvedKeys: IntoIterator<Item = K>;
    fn resolve<F>(
        self, 
        resolver: F
    ) -> Result<Self::Output, Self::UnresolvedKeys>
    where
        F: FnMut(&K) -> Option<Self::Part>;
}

Resolvable Trait

Associated Types

type Part

Resolved Part Type

type Output

Resolved Output Type

type UnresolvedKeys: IntoIterator<Item = K>

Key Container Type

Loading content...

Required methods

fn resolve<F>(self, resolver: F) -> Result<Self::Output, Self::UnresolvedKeys> where
    F: FnMut(&K) -> Option<Self::Part>, 

Resolves all keys in the given object and returns the output or the unresolved keys.

Loading content...

Implementors

impl<E, S> Resolvable<<E as Expression>::Atom> for StoredShape<E, S> where
    E: Expression,
    S: Shape<E>, 

type Part = S

type Output = S

type UnresolvedKeys = Result<E::Atom, Infallible>

fn resolve<F>(self, resolver: F) -> Result<Self::Output, Self::UnresolvedKeys> where
    F: FnMut(&E::Atom) -> Option<Self::Part>, 

Loading content...