Aleph::Equality_Constraint< T > Struct Template Reference

Equality constraint between two values of type T. More...

#include <tpl_constraints.H>

Collaboration diagram for Aleph::Equality_Constraint< T >:

Public Attributes
T	lhs {}
	Left-hand side.
T	rhs {}
	Right-hand side.
Source_Span	span
	Optional source span attached by the caller.
std::string	message
	Optional caller-defined explanation.

Detailed Description

template<typename T>
struct Aleph::Equality_Constraint< T >

Equality constraint between two values of type T.

Definition at line 67 of file tpl_constraints.H.

Member Data Documentation

lhs

template<typename T >

T Aleph::Equality_Constraint< T >::lhs {}

Left-hand side.

Definition at line 69 of file tpl_constraints.H.

Referenced by Aleph::Compiler_Type_Unifier::solve().

message

template<typename T >

std::string Aleph::Equality_Constraint< T >::message

Optional caller-defined explanation.

Definition at line 72 of file tpl_constraints.H.

Referenced by Aleph::Compiler_Type_Unifier::solve().

rhs

template<typename T >

T Aleph::Equality_Constraint< T >::rhs {}

Right-hand side.

Definition at line 70 of file tpl_constraints.H.

Referenced by Aleph::Compiler_Type_Unifier::solve().

span

template<typename T >

Source_Span Aleph::Equality_Constraint< T >::span

Optional source span attached by the caller.

Definition at line 71 of file tpl_constraints.H.

Referenced by Aleph::Compiler_Type_Unifier::solve().

---

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

• tpl_constraints.H