morph::ui::detail::ExprChecker Class Reference

Walks an expression once, resolving names and checking the statically known types. More...

#include <expression.hpp>

Public Member Functions
	ExprChecker (NameResolver const &resolver)
	Checks against resolver.
std::expected< Type, Refusal >	check (Expr const &expr)
	Checks one node and its operands.

Detailed Description

Walks an expression once, resolving names and checking the statically known types.

Definition at line 793 of file expression.hpp.

Constructor & Destructor Documentation

ExprChecker()

morph::ui::detail::ExprChecker::ExprChecker ( NameResolver const & resolver )

inlineexplicit

Checks against resolver.

Parameters

resolver

What the names resolve to.

Definition at line 797 of file expression.hpp.

Member Function Documentation

check()

std::expected< Type, Refusal > morph::ui::detail::ExprChecker::check ( Expr const & expr )

inlinenodiscard

Checks one node and its operands.

Parameters

expr

The node.

Returns

Its static type, or the refusal.

Definition at line 802 of file expression.hpp.

---

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

• morph/ui/expression.hpp