Struct gluon_check::unify::UnifierState

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

Fields

state: S

unifier: U

Methods

impl<S, U> UnifierState<S, U>

fn report_error<Type>(&mut self, error: Error<Type, Type::Error>) where
    U: Unifier<S, Type>,
    Type: Unifiable<S>, 

fn try_match_res<Type>(
    &mut self,
    l: &Type,
    r: &Type
) -> Result<Option<Type>, Error<Type, Type::Error>> where
    U: Unifier<S, Type>,
    Type: Unifiable<S>, 

fn try_match<Type>(&mut self, l: &Type, r: &Type) -> Option<Type> where
    U: Unifier<S, Type>,
    Type: Unifiable<S>,