Aleph::Compiler_Type_Unifier Member List

This is the complete list of members for Aleph::Compiler_Type_Unifier, including all inherited members.

apply(const Compiler_Type_Id id)	Aleph::Compiler_Type_Unifier	inline
bind_variable(const Compiler_Type_Id variable, const Compiler_Type_Id replacement)	Aleph::Compiler_Type_Unifier	inlineprivate
clear() noexcept	Aleph::Compiler_Type_Unifier	inline
Compiler_Type_Unifier(Compiler_Type_Context &ctx) noexcept	Aleph::Compiler_Type_Unifier	inlineexplicit
context	Aleph::Compiler_Type_Unifier	private
dump_substitution()	Aleph::Compiler_Type_Unifier	inline
fail(const Compiler_Unify_Result_Kind kind, const Compiler_Type_Id lhs, const Compiler_Type_Id rhs, const std::string &message, const Source_Span &span={}) noexcept	Aleph::Compiler_Type_Unifier	inlineprivate
last	Aleph::Compiler_Type_Unifier	private
last_result() const noexcept	Aleph::Compiler_Type_Unifier	inline
occurs_in(const Compiler_Type_Id variable, const Compiler_Type_Id candidate)	Aleph::Compiler_Type_Unifier	inlineprivate
resolve(const Compiler_Type_Id id) const	Aleph::Compiler_Type_Unifier	inlineprivate
solve(const Compiler_Type_Constraint_Set &constraints)	Aleph::Compiler_Type_Unifier	inline
subst	Aleph::Compiler_Type_Unifier	private
substitution() const noexcept	Aleph::Compiler_Type_Unifier	inline
success() noexcept	Aleph::Compiler_Type_Unifier	inlineprivatestatic
unify(const Compiler_Type_Id lhs, const Compiler_Type_Id rhs)	Aleph::Compiler_Type_Unifier	inline