The default registration oracle of the bindability gate: a program-defined class/enum type counts as registered iff it is welded for the language. More...

#include <welder/bindable.hpp>

Static Public Member Functions
static consteval bool	counts_as_registered (std::meta::info type, lang L)
	Does welding under this policy provide a registration for type?

Detailed Description

The default registration oracle of the bindability gate: a program-defined class/enum type counts as registered iff it is welded for the language.

The gate's needs-registration leaf asks "will a registration for this type exist by the time the module finishes loading?". Under marker-directed (stitch) welding the weld annotation is that promise. A resolution that registers types on other grounds — welder::carriages::greedy_resolution registers a whole unmarked library — supplies its own counts_as_registered so types it registers itself pass the gate (the resolution concept requires the hook; this struct is the conservative default and a convenient base).

Definition at line 59 of file bindable.hpp.

Member Function Documentation

◆ counts_as_registered()

consteval bool welder::welded_registration::counts_as_registered	(	std::meta::info	type,
		lang	L )

inlinestaticconsteval

Does welding under this policy provide a registration for type?

Definition at line 61 of file bindable.hpp.

References welder::welded_for().

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

src/welder/bindable.hpp

Static Public Member Functions

Detailed Description

Member Function Documentation

◆ counts_as_registered()