Aleph::Compiler_Unify_Result Struct Reference

Outcome of one type-unification attempt. More...

#include <tpl_constraints.H>

Collaboration diagram for Aleph::Compiler_Unify_Result:

Public Member Functions
bool	ok () const noexcept
	Returns whether the result denotes a successful unification.

Public Attributes
Compiler_Unify_Result_Kind	kind = Compiler_Unify_Result_Kind::Success
Compiler_Type_Id	lhs = 0
	Left type involved in the result.
Compiler_Type_Id	rhs = 0
	Right type involved in the result.
Source_Span	span
	Constraint span, if solving a stored constraint.
std::string	message
	Human-readable explanation.

Detailed Description

Outcome of one type-unification attempt.

Definition at line 174 of file tpl_constraints.H.

Member Function Documentation

ok()

bool Aleph::Compiler_Unify_Result::ok ( ) const

inlinenoexcept

Returns whether the result denotes a successful unification.

Definition at line 183 of file tpl_constraints.H.

References kind, and Aleph::Success.

Member Data Documentation

kind

Compiler_Unify_Result_Kind Aleph::Compiler_Unify_Result::kind = Compiler_Unify_Result_Kind::Success

Definition at line 176 of file tpl_constraints.H.

Referenced by ok().

lhs

Compiler_Type_Id Aleph::Compiler_Unify_Result::lhs = 0

Left type involved in the result.

Definition at line 177 of file tpl_constraints.H.

message

std::string Aleph::Compiler_Unify_Result::message

Human-readable explanation.

Definition at line 180 of file tpl_constraints.H.

rhs

Compiler_Type_Id Aleph::Compiler_Unify_Result::rhs = 0

Right type involved in the result.

Definition at line 178 of file tpl_constraints.H.

span

Source_Span Aleph::Compiler_Unify_Result::span

Constraint span, if solving a stored constraint.

Definition at line 179 of file tpl_constraints.H.

---

The documentation for this struct was generated from the following file:

• tpl_constraints.H