Struct gluon_check::unify::UnifierState

pub struct UnifierState<S, U: ?Sized> {
    pub state: S,
    pub unifier: U,
}

Fields

state: S

unifier: U

Trait Implementations

impl<'e, S, T> Unifier<S, T> for UnifierState<S, Unify<'e, T, T::Error>> where
    T: Unifiable<S> + PartialEq + Clone + Display + 'e,
    T::Variable: Clone,
    T::Factory: Clone, 

fn report_error(&mut self, error: Error<T::Error, T>)

Reports an error to the unifier for cases when returning the error is not possible.

fn try_match_res(
    &mut self,
    l_orig: &T,
    r_orig: &T
) -> Result<Option<T>, Error<T::Error, T>>

fn error_type(&self) -> T

fn try_match(&mut self, l: &Type, r: &Type) -> Option<Type>

Attempt to unify l and r using the strategy of Self.

fn allow_returned_type_replacement(&self) -> bool

true if the returned type can be replaced by the caller