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